2. If then is not a lower bound of
Criterion 1. was given so we must just prove that if is greater than then it is not a lower bound of
Since it follows that
But by the Archimidean property we may pick a such that . So now consider that since is a limit point of we may pick a such that (this is just the neighborhood of radius ). This implies that which in turn implies that with which proves 2.