93
One of my Fellows asked me whether total induction is applicable to real numbers, too ( or at least all real numbers ≥ 0) . We only used that for natural numbers so far.
Of course you have to change some things in the inductive step, when you want to use it on real numbers.
I guess that using i...