maximize 4cosx-20x+7 over [0,3Pi/2]