MathCastle
Proof WritingChallengeContrapositive and Contradiction

Contrapositive and Contradiction · Challenge problem

Contrapositive of "if n>1n > 1 is composite, then nn has a prime factor p≤np \le \sqrt n": if n>1n > 1 has no prime factor p≤np \le \sqrt n, then nn is prime. To certify that 997997 is prime this way, how many primes must be tried?