Primes lesser than in Prolog (for 4p)