Zulip Chat Archive
Stream: maths
Topic: pi with derivatives
Chris Hughes (Nov 16 2019 at 23:50):
Is there a simpler proof of the existence of pi now that derivatives exist. I remember it being a mess last time.
Last updated: May 02 2025 at 03:31 UTC