Counting odd smooth numbers

Question

Let $P(n)$ be the largest prime factor of $n$, and let $\Psi(x,B) = |\{ n \mid n \leq x \wedge P(n) \leq B\}|$. (This is a well-studied function in analytic number theory.) Define $\Psi'(x,B) = | \{ n \mid n \leq x \wedge P(n) \leq B \wedge \mbox{$n$ odd}\}|$. Is there a good estimate for $\Psi'(x,B)$, or for the ratio $\Psi'(x,B)/\Psi(x,B)$?

The answer to this post shows how to prove that $\Psi(x, B) \sim \frac{1}{\pi(B)!} \cdot \prod_{p \leq B} \frac{\log x}{\log B}$. If I repeat the argument to try to estimate $\Psi'(x,B)$ I get $\Psi'(x,B) \sim \frac{1}{(\pi(B)-1)!} \cdot \prod_{2 < p \leq B} \frac{\log x}{\log B}$. But then $\Psi'(x,B)/\Psi(x,B) = \frac{\pi(B)}{\log x} \sim \frac{B}{(\log B) \cdot (\log x)}$, which can exceed 1. So that wasn't very useful.

Answer 1

Error terms matter.

Both of the asymptotic formulas in the OP have error terms, which means that the approximations shown might not be very accurate until $x$ is quite large in terms of $B$.

The ratio $\frac B{(\log B)(\log x)}$ can be greater than $1$ for small $x$, but when $x$ is large in terms of $B$ it will be less than $1$. So there is no inconsistency.

Answer 2

Let $\Psi_{\rm odd}(x,B) = |\{n \mid n \leq x \wedge P(n) \leq B \wedge \mbox{$n$ is even}\}|$, so $\Psi(x,B) = \Psi_{\rm odd}(x,B) + \Psi_{\rm even}(x,B)$. Note that $\Psi_{\rm even}(x,B) = \Psi(x/2,B)+1$ since there is a natural one-to-one correspondence given by dividing by 2. (The “+1” is due to the edge case of 2 itself.) This allows for calculating the asymptotic behavior of $\Psi_{\rm odd}(x,B)/\Psi(x,B)$.