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