1/16/2022 -- Advanced 1A: Cauchy induction

We study Cauchy induction, a beautiful modification of the usual induction. If traditional induction goes forward one step at a time, Cauchy jumps from n to 2n and then goes backward if he misses the needed number.