Is there some inductive proof of that? Or is that some conjuncture? Actually any... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		psychoslave on July 15, 2024 \| parent \| context \| favorite \| on: Pi calculation world record with over 202T digits Is there some inductive proof of that? Or is that some conjuncture? Actually any resources related to that point could be fun to explore

waldrews on July 15, 2024 [–]

It's a classic application of the pigeonhole principle, the first on in this list:

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact