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: Dec 20 2023 at 11:08 UTC