[math-fun] Fraction of numbers not divisible by lower primes whose first prime factor = p