A computer-assisted lower bound for Landau's constant

We prove the lower bounds \[ B_\infty>0.51,\qquad L>0.51, \] where $B_\infty$ is the locally univalent Bloch constant and $L$ is Landau's constant, improving the bound $\frac{1}{2}+2\cdot10^{-8}$ of Chen and Shiba. The argument passes to the logarithm $g=\log f'$ of a normalized locally univalent