If $n-1$ is $f(n)$-smooth, $n$ is prime infinitely often. What is the best $f$?
For all primes $p$, $p-1$ is $\frac{p}{2}$-smooth, so $f(n) = \frac{n}{2}$ works.
If $q$ is a Fermat prime, then $q-1$ is $2$-smooth. Since we cannot prove there are a finite number of Fermat primes it is possible that $f(n) = 2$ works.
Can anything in between be established with certainty?
I considered $f(n) = \sqrt{n}$. The simplest kind of $\sqrt{n}$-smooth number is a square, and since we don't know if there are an infinite number of primes of the form $k^2+1$ we are in the same situation as with Fermat primes. I'm not sure how to approach the case when $n-1$ is $\sqrt{n}$-smooth but not square.
I feel like it should be possible to prove this for $f(n)=\frac{n}{\log{n}}$ (there are an infinite number of primes $p$ where $p-1$ is $\frac{p}{\log p}$-smooth). How can this be shown? What is the best that is known?
Related:
Is there any infinite set of primes for which membership can be decided quickly?