Let and . Then there is such that if then . Notice also that is uniformly continuous on (by Heine-Cantor), where . So there is such that if for then . Now let , and suppose . If then (details omitted). Otherwise or , giving us and hence . So in both cases we have implying .