0<a<1인 실수 a에 대해서, 임의의 양수 입실론보다 작은 a^n이 존재하는걸 증명하려면 귀류법 말고는 없는건가?