无穷小减有界量等于