The Bloch constant is strictly smaller than the Ahlfors--Grunsky value
arXiv:2610.16808
Abstract
We prove that the classical Bloch constant is strictly smaller than the Ahlfors--Grunsky value, disproving the famous Bloch constant conjecture. The Lean 4 formalization of the main results are also provided.
arXiv comment30 pages, 19 figures. All comments are welcome!