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.