Gravar e-mail: Un acercamiento coinductivo al análisis real