Irrational Numbers and Proofs: Olympiad Style Test | StemPy Lab