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: