Reclamación: $2015\cdot 10^{2k+4}<(4489\cdot 10^k + 2015)^2 <2016\cdot 10^{2k+4}$ para todos $k\geq 4$
Lo has hecho: $(4489\cdot 10^k + 2015)^2 = 4489^2\cdot 10^{2k} + 2\cdot 2015\cdot 4489\cdot 10^k + 2015^2$
Trivialmente $2015\cdot 10^{2k+4} = 20150000\cdot 10^{2k} < 20151129\cdot 10^{2k} = 4489^2\cdot 10^{2k} < (4489\cdot 10^k+2015)^2$
Y
$2\cdot 2015\cdot 4489\cdot 10^k + 2015^2 \leq 2\cdot2015\cdot 4489\cdot 10^k + 2015^2\cdot 10^{k-4}= 180910760225\cdot 10^{k-4}=1809.10760225\cdot 10^{k+4}\leq 1809.10760225\cdot 10^{2k}<1810\cdot 10^{2k}$
Así que
$(4489\cdot 10^k + 2015)^2 \leq 20151129\cdot 10^{2k} + 2\cdot 2015\cdot 4489\cdot 10^k + 2015^2 < 20151129\cdot 10^{2k} + 1810\cdot 10^{2k} = 20152939\cdot 10^{2k} < 2016\cdot 10^{2k+4}$
De este modo se demuestra la afirmación de que para cada $k\geq 4$ tienes $2015\cdot 10^{2k+4}<(4489\cdot 10^k + 2015)^2 <2016\cdot 10^{2k+4}$ .
Obsérvese finalmente que eso significa que $4489\cdot 10^k+2015$ termina con los dígitos $2015$ y su cuadrado comienza con los dígitos $2015$ . Como esto es cierto para cada $k\geq 4$ es cierto para infinitos números naturales.