Cosmological Upper Bound on Heavy-Neutrino Lifetimes | Synapse