不需要确界，
只需要说明这个达布上和与达布下和的都趋于同一个值就行。

【 在 nikezhang 的大作中提到: 】
: 这还要引入上确界和下确界的定义，而且还要证明有上界必有上确界，还是离不开极限的严格定义  
--
FROM 27.18.39.*