해석학 학부과정 다 끝내가는 수교과 학생인데 문뜩 궁금해짐

귀류법 이용해서 하면 쉽게 끝나는 증명들은 직접증명 없이 넘어가는 경우가 많잖아

예를들어 소수의 개수가 무한하다는것도 결과를 부정안하고 직접증명을 하면 어떤식으로 할 수 있을까? 궁금해짐

그냥 갑자기 문제 풀다가 궁금해서 뻘글 써봄