News for hackers. Stuff that matters.

A comment on Pi calculation world record with over 202T digits. Parent comment

Re:Pi calculation world record with over 202T digits by psychoslave on Monday July 15, 2024 @08:08AM (#40967100)
Is there some inductive proof of that? Or is that some conjuncture?

Actually any resources related to that point could be fun to explore

[ Parent | on HN ]
Re:Pi calculation world record with over 202T digits by waldrews on Monday July 15, 2024 @01:50PM (#40969980)
It's a classic application of the pigeonhole principle, the first on in this list:

https://en.wikipedia.org/wiki/Pigeonhole_principle#Uses_and_...

[ Parent | on HN ]