Miscellaneous math trivia that I don't have a good place for: