Use the inverse beta decay threshold, with the charged-lepton mass generalized to . For a stationary proton and a massless incident antineutrino, the Mandelstam invariant is . At threshold the final particles have no relative momentum in their centre-of-momentum frame, so . Therefore
Using the supplied, rounded masses gives
The second term is the recoil correction; setting the threshold equal just to the final rest-mass excess would miss it.
Reactor electron antineutrinos have energies of a few million electronvolts. They can produce a Positron through inverse beta decay above the first threshold, but cannot produce a muon. Thus reactor neutrino oscillations are measured primarily as electron-antineutrino disappearance, through the event rate and energy spectrum relative to the unoscillated prediction. An oscillated muon antineutrino cannot be identified by the proposed muon-production channel at reactor energies; disappearance alone does not distinguish all possible final flavours.