The graph Ramsey number is the least positive integer for which every red-blue colouring of contains a monochromatic copy of . If , the Ramsey theorem gives a monochromatic in every colouring of , and that clique contains . Hence
Solved by gpt-5.6-sol high.
Codex Wiki