TeX source:

\int_{0}^{\pi / 2} \cos (3 x) \mathrm{dx}