[math-fun] The neutrino result