This is a consequence of the (general) fact that (auto)correlation matrices like
$$
\begin{pmatrix}
1&\rho_1&\rho_2\\
\rho_1&1&\rho_1\\
\rho_2&\rho_1&1\\
\end{pmatrix}
$$
are positive semi-definite, i.e. their determinant satisfies
$$
1-2\rho_1^2-2\rho_1^2\rho_2-\rho_2^2\geq0
$$
Write the determinant as
$$
(1-\rho_2)(1+\rho_2-2\rho_1^2)
$$
Since $\rho_2\leq1$ and thus $1-\rho_2\geq0$, we must have
$$1+\rho_2-2\rho_1^2\geq0$$
or
$$\rho_1^2\leq\frac{1+\rho_2}{2}$$
for the determinant to be nonnegative.
Hence, this appears to be general property of (auto)correlations and has nothing to do with an AR(2) process specifically. (Also, my argument suggests that the inequality is only weak, but see whuber's comment below for more on this point.)