Dual space of L_1 is L_inf if domain is sigma-finite. Moreover, if the domain is locally compact, C_0 is dense in L_p (p1). l(f)=0 for any l in L^* implies f=0 due to the Hahn-Banach theorem.
などを使うと、we can drop the constraints of KMM opt.prob. 証明をチェックしました。