Problem 787 (difficulty: 9/10)
Prove that if \(\displaystyle a>1\) and \(\displaystyle 0<x<\frac{\pi}{a}\), then \(\displaystyle \dfrac{\sin ax}{\sin x}<ae^{-\frac{a^2-1}6x^2}\).