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}\).

Let's think step by step and output the final answer within \boxed{}.
user