Existence of Fraction of Number Smaller than Given

Theorem

 * Two unequal magnitudes being set out, if, from the greater there be subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process be repeated continually, there will be left some magnitude which will be less than the lesser magnitude set out.