Write the assumption, then prove inequalities, “at least one” statements, results about integers and irrational numbers, and the standard proofs (√2 is irrational, there are infinitely many primes) · eight levels, timed, a model proof for every question