La función propuesta, que el lector atento habrá imaginado es: