Weird math proofs – Probabilistic methods | Dark Hacker News