Check: where the proof breaksTry running the √2 argument on √4 and watch it stall.Check yourselfQuick checkFor √4, why doesn't the irrationality proof go through?A4 isn't prime, so “4 | a² ⇒ 4 | a” fails — no contradictionB√4 has no square rootCIt does go through — √4 is irrationalNeed a hint?Show worked solution