TeX source:
\mathrm{F}(\pi / 2)-\mathrm{F}(0)=1-0=1