[math-fun] electron electric dipole moment, if any, is small