3 ms·This is also using induction on naturals, which doesn’t “port” to the reals, as the post asks.by reikonomusha 7y agoThis is also using induction on naturals, which doesn’t “port” to the reals, as the post asks.