Flyspeck/lemma-1-4.tex

$$\sin(\pi/2)=1$$