Problem 802

Erdős Problem #802: declared status 'open'. Formalized: no. Is it true that any $K_r$-free graph on $n$ vertices with average degree $t$ contains an independent set on$$\gg_r \frac{\log t}{t}n$$many vertices? Prize: no. Tags: graph theory.