Me parece que una forma más clara de expresar la condición que deben cumplir a y b ya que ambos son números naturales y positivos sería
Si se tratara de números racionales o reales, habría que señalar que se debe cumplir además que a y b sean mayores que uno, porque de lo contrario, es decir, para números comprendidos entre cero y uno, el cuadrado siempre es menor que el propio número. Pero como se trata de números naturales, de entrada sabemos que no hay ninguno entre cero y uno y la condición anterior basta.
También se complicaría algo la situación si pudiesen intervenir números negativos.
Pero, resumiendo, como a y b son números naturales basta que
Hasta pronto
