B4 Para un número real positivo $r$, sea $G(r)$ el valor mínimo de $|r - \sqrt{m^2+2n^2}|$ para todos los enteros $m$ y $n$. Demuestra o refuta la afirmación de que $\lim_{r\to \infty}G(r)$ existe y es igual a $0$.