看着这文章默默地想起昨天下雨的时候，
那时候下著大雨，很多人纷纷的哪起了伞，
看着没伞躲雨的路人不禁想，
"如果有无穷多支伞那么就可以覆蓋整个大地就不会有人被雨淋到了"，
但是真的需要无穷多把伞吗？
于是我们就挑其中一块地方已经被无穷多把伞遮蔽的地方，
渐渐的缩小直到用一把伞就可以完全的遮蔽慢慢地去考虑各地方的可能性~
于是我们就把遮蔽大地需要买的伞从无穷多的经费减低到了有限的经费！
默默地觉得我们在实数构成的世界实在是太幸福了！
有一天我们一定可以好好地避雨。
※ 引述《Hatred (●)》之铭言：
: 再补一个高微的内容赚P币。
: 假设一开始，我拥有一些开区间（open intervals），它们足以盖住[0, 1]这个
: 闭区间（closed interval），我们证明其中存在有限多个开区间，它们足以盖
: 住[0, 1]。
: 设若不然，即我一开始拥有的开区间当中，不存在有限多个足以盖住[0, 1]，那
: 么以下两种情况至少成立一个：
: 一、我一开始拥有的开区间当中，不存在有限多个足以盖住[0, 0.5]。
: 二、我一开始拥有的开区间当中，不存在有限多个足以盖住[0.5, 1]。
: 如果第一个条件成立，我就把[0, 0.5]称为我的“第一个区间”，否则我就把
: [0.5, 1]称为我的“第一个区间”。
: 之后，只要我有“第i个区间”，且我一开始拥有的开区间当中，不存在有限多
: 个足以盖住“第i个区间”，那么我就把“第i个区间”砍成前后两半，以下条件
: 至少会成立一个：
: I、我一开始拥有的开区间当中，不存在有限多个足以盖住“第i个区间的前半”。
: II、我一开始拥有的开区间当中，不存在有限多个足以盖住“第i个区间的后半”。
: 如果条件I成立，我就把“第i个区间的前半”称为我的“第i+1个区间”，否则我
: 就把“第i个区间的后半”称为我的“第i+1个区间”。
: 以上动作要对i为1、2、... 依次施行，于是我就得到了“第一个区间”、“第二个
: 区间”、...，其中每一个都不能被我一开始拥有的开区间当中的有限多个盖住。
: 可是因为“第i个区间的左端点”随i递增且永不超过1、“第i个区间的右端点”随i
: 递减且永不低于0，所以它们在i趋近无穷大时，都会收敛（这个性质称为实数的完
: 备性），又因为“第i+1个区间”的长度必为“第i个区间”的一半（对每个i皆成
: 立），所以“第i个区间的左端点”和“第i个区间的右端点”在i趋近无穷大时，趋
: 近到的值会相同，姑且称该值为a好了。
: 然而a会被我一开始拥有的开区间当中的某一个盖住，所以a加减某个正值r的范围
: 内，也都会被该开区间盖住，然而既然“第i个区间的左端点”和“第i个区间的右
: 端点”都会趋近到a，那就表示当i够大时，“第i个区间”整个包含在a加减r的范
: 围内，因而导致“第i个区间”可以被我一开始拥有的开区间当中的某“一个”盖
: 住，这与“第i个区间”的建构矛盾。
: 这就是嗨-波瑞尔定理（Heine-Borel theorem）的一个特殊情况。