NatWest Group Interview Question

- Prove that sqrt(2) is not rational