I want to prove that $\tan(x) = x$ has exactly one solution per interval $((n-\frac12)\pi, (n+\frac12))$.
My attempt:
$\tan(x)$ is $\pi$-harmonic, and has a range of $(-\infty, \infty)$ for each interval $(\frac\pi2n, \frac\pi2(n+1)$), and is strictly increasing on each interval. This means that it will cross any linear function exactly once each time.
Have I reached a conclusion here? If so, how can I rewrite the interval to coincide with the one in the problem description?