On the other hand, c/2 is a positive infinitesimal, since by the definition of least upper bound there must be an infinitesimal x between c/2 and c, and if 1/k < c/2 \leq x then x is not infinitesimal.
