ok, this question is open to different solutions: Prove that: $\displaystyle \frac{\tan^{-1}(\frac{1}{2})}{\pi} \notin \mathbb{Q}.$