define the set A to be the functions such that f is measurable and its integral is .
I need to show that for all , using the inequality , and using the extreme points of A.
I know how to prove that the extreme points are where B is a set of measure 1/2, and it is easy to see that for these type of functions the inequality holds. so now I want to show that the maximum of is attained on these extreme points.
One way I thought of proving this, is by showing that is continuous, and so has a maximum, because A is compact in the weak* topology. Then I can use the fact that the function is convex to show that the maximum must be on the extreme points.
The other way is somehow use choquet theorem that connects between the functions in A to its extreme points.
don't really know how to continue from here, so any help would be appreciated