He's trying to show that for any x you might choose less than one, there exists an s such that x < s < 1

That should be pretty clear regardless of whatever particular s he might choose by the density of the real numbers. He just happens to pick s as the midpoint.

So there exists an s such that x is not in [s,2] and thus x cannot be in the intersection of all such intervals.