Let’s prove a more general result: If n is a non-square positive integer then is irrational.

So suppose for the purpose of proof by contradiction that is rational.

Using the well order of the positive integers, there is a first positive integer such that .

Using the floor function: .

Now and . (WHY?)

However, which is a clear contradiction to K being minimum.