1549055259-Ubiquitous_Quasidisk__The__Gehring_

136 9. SECOND SERIES OF IMPLICATIONS

Then
min lz - Zjl ::::; min lzj - wl + lz -wl ::::; (a+ l)dist(z, 8D)
J=l,2 J=l,2
and (9.7.6) holds with b =a+ 1 and hence with b = 4a. 0