\int_0^{\pi/2} =\int_0^{\pi/4} +\int_{\pi/4}^{\pi/2}