Proofs in math are like computer programs

I always tell my students that writing a proof is very similar to writing a computer program. this example gives a pretty good idea why because you get to explore different possibilities to make sure that your single number M is correct. how would you write this proof? #realanalysis #math #mathematics #calculus