임의의 양수 epsilon과 어떤 실수 M에대해
N*epsilon>M을 만족하는 자연수 N이 존재한다.

가 아르키메데스 성질인데 저기서 양변을 epsilon으로 나눠도
동치잖아?
그러면

N>M/epsilon인데 M이 어떤 실수고, epsilob이 임의의 양의 실수면

M/epsilon=A로놓고  A값은 M의 음양에따라 epsilon이 임의의 양의실수므로 어쨋든 모든 실수범위를 포함할수있으니..

임의의 실수 A에 대해

N>A를 만족하는 자연수 N이 존재한다도

아르키메데스성질 저명제랑 동치명제임?

- dc official App