MathNet 2026 — Part 05 Question 22

Prove that $\frac{1}{\pi} \tan^{-1}(\sqrt{2})$ is not a rational number.