Problem:
Let be a natural number. For denote by the smallest natural number greater than such that is a perfect square of a natural number. If holds, prove that .
Problem:
Let be a natural number. For denote by the smallest natural number greater than such that is a perfect square of a natural number. If holds, prove that .
Solution:
Assume that . Let us write the number in the form , where and is not divisible by any perfect square greater than 1. Since is a perfect square, so is , and it follows that for some . Similarly, for some .
Since , is the smallest natural number greater than . Analogously, is the smallest natural number greater than , so it must hold that . However, from this it follows that , so it must be that , i.e. .