3^^^3 holes and <10^(3*10^31) pigeons (or vice versa) — LessWrong