A lower bound on heavy-lepton production by neutrinos

A lower bound on σ(νA→M…) is given, in terms of the structure functions which can most easily be measured in ν+A→μ+… reactions, for heavy leptons (m) of the type required by renormalizable models of weak interactions.