theoremTheorem 19.23Exact access radius for square lengthsTheorem 19.23 (Exact access radius for square lengths). For every m≥0m\ge0m≥0, aL□(2m)=(m+1)2+1,aL□(2m+1)=(m+1)2+2.a_{L_{\square}}(2m)=(m+1)^2+1, \qquad a_{L_{\square}}(2m+1)=(m+1)^2+2.aL□(2m)=(m+1)2+1,aL□(2m+1)=(m+1)2+2.
Theorem 19.23 (Exact access radius for square lengths). For every m≥0m\ge0m≥0, aL□(2m)=(m+1)2+1,aL□(2m+1)=(m+1)2+2.a_{L_{\square}}(2m)=(m+1)^2+1, \qquad a_{L_{\square}}(2m+1)=(m+1)^2+2.aL□(2m)=(m+1)2+1,aL□(2m+1)=(m+1)2+2.