√2 is irrational. Which of these numbers must be irrational too? | StemPy Lab