It is conjectured that $f(k) \ll (\log k)^O(1)$.

Sylvester and Schur [Er34] proved that every set of $k$ consecutive integers greater than $k$ contains an integer divisible by a prime greater than $k$, i.e. not $(k+1)$-smooth.