Question 5
(USS) Prove the inequality
$$\tan\frac{\pi\sin x}{4\sin\alpha}+\tan\frac{\pi\cos x}{4\cos\alpha}>1$$
for any $x,\alpha$ with $0\le x\le\pi/2$ and $\pi/6\lt y\lt \pi/3$.
$$\tan\frac{\pi\sin x}{4\sin\alpha}+\tan\frac{\pi\cos x}{4\cos\alpha}>1$$
for any $x,\alpha$ with $0\le x\le\pi/2$ and $\pi/6\lt y\lt \pi/3$.