[math-fun] A "numerical coincidence"