[math-fun] Birthday problem