  Let $p$ be a prime divisor of the order of a finite group $G$. Then $G$ has
at least $2 \sqrt{p-1}$ complex irreducible characters of degrees prime to $p$.
In case $p$ is a prime with $\sqrt{p-1}$ an integer this bound is sharp for
infinitely many groups $G$.
