$a_0, a_1, \dots, a_n$은 다음을 만족하는 구간 $(0,\pi/2)$ 안의 수들이다.\[ \tan(a_0 – \frac\pi4) + \tan (a_1 – \frac\pi4) + \cdots + \tan(a_n – \frac\pi4) \geq n-1\] 다음을 증명하여라.\[ \tan a_0 \tan a_1 \cdots \tan a_n \geq n^{n+1}\]