Problem 792 (difficulty: 5/10)
Prove that \(\displaystyle \cos x < e^{-x^2/2}\) if \(\displaystyle 0<x<\frac{\pi}2\).