Cada función analítica que mapee el medio plano derecho derecho en sí misma debe satisfacer|f(z)−f(1)f(z)+f(1)|⩽ for \ text {Re} \; z> 0.
Tengo el presentimiento de que esta es una aplicación del Lema de Schwarz. Aunque no sé cómo proceder. Gracias por adelantado.