Yes, you are right. This is just a brief of the method. Since it's only half of the graph, symmetry is natural to get the biggest area. And also we can prove convexity is another necessary condition and it may help in the process of proof. www.ddhw.com