(L^1)'=(L^\infty)