Let us assume, to the contrary that is rational
That is, we can find coprime a and b such that
Therefore,
Since, a and b are integers, we get is rational, and so is rational.
which contradicts the fact that is irrational.
So, our assumption was wrong that is rational.
Hence, we conclude that is irrational.