integral sin(πx/2) dx