But √4 is rational!

The square root of a perfect square — √4 = 2, √9 = 3 — is a whole number, perfectly rational. So the proof had better fail for those. Where does it?