I'm not sure what the terms "lower number for a cut" means, but I'll try to answer you question anyway.

You have that X is an element of the cut . There _must_ be rational numbers in larger than X, because otherwise X would be the largest number of - and by part 3) of your definition, no cut contains a greatest rational number. So is just one of those rational numbers in , which are larger than X.