Prefer a chat interface with context about you and your work?
On the theorem of Hayman and Wu
We show that the Hayman-Wu constant Ø is strictly smaller than $4\pi .$ Previously it has been shown that $\pi ^2\leq$ Ø$\ \leq 4\pi .$ A main tool in our proof is an analysis of the hyperbolic geodesic curvature of straight lines in simply connected domains.