This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Andrej Bauer
andrejbauer.mathstodon.xyz.ap.brid.gy
did:plc:o4b4pj4p342m7hqusfuov7t3
@highergeometer With my hands free, and to explain it to students, I would probably define `ln` as the inverse of `exp`, show that `exp` is strictly increasing, and reduce the problem to `e^0.69 < 2 < e^0.70`. Then it comes down to having good rational bounds for `e`, which we can get from its […]
https://mathstodon.xyz/@andrejbauer/114591353845291699
2025-05-29T13:31:03.550Z