Christodoulou A, Short I. A hyperbolic-distance inequality for holomorphic maps. Ann. Fenn. Math. 2019;44(1):293–300. doi:10.5186/aasfm.2019.4425