How to do induction on the real numbers #1 Post by BmoreDaniel » Thu, Feb 25, 2016, 4:20 PM UTC How to do induction on the real numbersucsd-pl.github.io