Función dada por enunciado