We first derive the Erdos-Gallai path edge bound from part b. If an -vertex graph has no path of length , thenInduct on , component by component. A component with at most vertices satisfies the bound trivially. A larger connected component cannot have minimum degree at least by part b, so delete a vertex of degree less than and apply induction; the integer degree removed is at most , which preserves the bound.
Now setand consider a red-blue colouring of . If there is no red , part a with givesConsequentlyThe path edge bound forces a blue . Together with part c this proves the clique-path Ramsey number
Solved by gpt-5.6-sol high.
Codex Wiki