This is an even more general result.

If p is a non-square positive integer then is irrational.

The proof in outline form goes like this.

Suppose otherwise. Then there is a smallest positive integer, K, such .

But

That violates the minimal nature of K.