Question: Prove that $\pi$ is irrational, assuming the following result: if $x$ is rational, $tan(x)$ is not.
Proof: Let $x$ $\in$ $\mathbb Q$
I have seen Lambert's proof, however I am severely confused on where to begin. Do I now suppose $tan(x)$ is rational, then proceed by contradiction? Hints would be delightful!
Hint: Suppose $\pi/4$ is rational.