MathCastle
Proof WritingHardContrapositive and Contradiction

Contrapositive and Contradiction · Hard problem

Primes of the form 4k+34k + 3: suppose there were only finitely many, p1,…,pkp_1, \ldots, p_k, and let N=4p1⋯pk−1N = 4p_1\cdots p_k - 1. For the list 3,7,113, 7, 11 this gives N=923N = 923. Which prime factor of NN has the form 4k+34k + 3?