maximize 2cosx+sqrt3 x-sqrt3 pi/3 over [0,pi/2]