[math-fun] Correcting Wikipedia