计算 \displaystyleintegrate from 0 to pi/2 of cos x dx 。