MathNet 2012 Question 47

Let $n$ be the 200th smallest positive real solution to the equation $x-\frac{\pi}{2}=\tan x$. Find the greatest integer that does not exceed $\frac{n}{2}$.