Cosine of 2 is Strictly Negative

Theorem

 * $\cos 2 < 0$

where $\cos$ denotes the cosine.

Proof
Recall the definition of the cosine:

Thus:

where:

Thus: