How to evaluate the definite integral (0,1) ∫ cos(πt/2)dt ?