is half of

. Hence

, and therefore

will also be the square root of 2. But then we can repeat the argument: if

,