Let $P$ be the D2276: Set of prime integers.
Let $n \geq 1$ be a D5094: Positive integer.

Then \begin{equation} \exists \, p \in P : n^2 \leq p \leq (n + 1)^2 \end{equation}