How to do induction on the real numbersucsd-pl.github.io1 point·BmoreDaniel··0 commentsOpen articleSaveView on HN