Thermal production of ultrarelativistic right-handed neutrinos: complete leading-order results | Synapse