Prove Archimedean property, density of rationals in reals