[math-fun] Propp's birthday problem