PROVED
This has been solved in the affirmative.
Let $k\geq 0$. Let $G$ be a graph such that every subgraph $H$ contains an independent set of size $\geq (n-k)/2$, where $n$ is the number of vertices of $H$. Must $G$ have chromatic number at most $k+2$?
A question of Erdős and Hajnal
[ErHa67b]. The case $k=0$ is trivial, but they could not prove this even for $k=1$.
This is true, and was proved by Folkman
[Fo70b].
See also
[73].
View the LaTeX source
Additional thanks to: Raphael Steiner
When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:
T. F. Bloom, Erdős Problem #922, https://www.erdosproblems.com/922, accessed 2026-01-16