Lower is_prime opportunistic proof effort