맨 마지막에 sqrt(2)=t/s에서 만약 분모가 b였으면 딱 p(n)이랑 같은 꼴이니까 분자만 보고 t가 k보다 작거나 같으니 모순이다 라고 할 수 있는데
여기선 분모가 s인데도 이 논리를 사용할 수 있는 이유가 무엇인가요?
b가 어짜피 임의의 정수라서 그런가요?
그렇다기엔 s는 b=2s라는 관계식을 만족하는 for some integer이라고 나와있어서..

- dc official App