Frankly, I don't think that the proof can be improved upon. One must fully understands what it means for not to be continuous at .
Please note there is one . But corresponding to any there is at least one
That is the reason that we can be assured that exists for each .
EDIT: it should be