Hello, I apologize if my Analysis skills are lacking somewhat. But that's why I'm learning it, after all...

Anyway, something came to me in a flash of insight, perhaps you could tell me if I am mistaken:

It suffices to show that s.t. implies that .

However, since by Lemma 9, we have that: