maximize 1/2 * |(b−c) sin a + (c−a) sin b + (a−b) sin c|, given 0 <= a <= b <= c <= 2pi