Proof of the archimedean property. I am not sure how to conclude the part marked in blue.