Prove that, for every real number $t$, $\operatorname { ch } ( t ) \leqslant \exp \left( \frac { t ^ { 2 } } { 2 } \right)$.