Visualize various theorems (e.g. Young's inequality) in real analysis domain

[kai-qu]

Keenan suggested seeing if we can make this visual proof of Young's inequality using Penrose:

Would be cool (and useful!) to see it visualized for different values of f, a, and b.

---

And some other classic candidates:

https://en.wikipedia.org/wiki/Intermediate_value_theorem
https://en.wikipedia.org/wiki/Mean_value_theorem
https://en.wikipedia.org/wiki/Fundamental_theorem_of_calculus
https://en.wikipedia.org/wiki/(%CE%B5,_%CE%B4)-definition_of_limit

[kai-qu]

Deprecated since paper is done