\int_0^T \sin{2\pi t/T} \sin{2 \pi t/T + \pi/2} dt