A Lower Bound for Primality