add lower bound for eratosthenes