HMMT November 2012 E8

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}$.