faul_sname comments on 3^^^3 holes and <10^(3*10^31) pigeons (or vice versa)

[faul_sname]

I’ll leave this here.