maximize 5sinx-6x+3 over [0,Pi/2]