Олимпиадная задача: верен ли способ округления квадратного корня? 7-9 класс

Пусть $m^2 \le N < (m + 1)^2 = m^2 + 2 m + 1.$ Мы выбираем $a = m$, если $N \le m^2 + m$, и $a = m + 1$ в противном случае. В первом случае $N < (m + \frac{1}{2})^2 = m^2 + m + \frac{1}{4}$, то есть $m \le \sqrt{N} < m + \frac{1}{2}$, во втором случае $N \ge m^2 + m + 1 > (m + \frac{1}{2})^2$, то есть $m + 1 > \sqrt{N} > m + \frac{1}{2}$. В любом случае $a$ – ближайшее к $\sqrt{N}$ натуральное число.