对x用上确界的原因是，不想有x的因素影响结果的讨论，其实就是必须上确界是无穷小序列才能保证收敛，序列里面是不能有x的，因为你要用δ-ε语言去说明f是收敛的。结论应该叫做：对于任何D里面的值，数列f总是收敛的。
