※ 引述《google8494 (好男人不做吗？)》之铭言：
: 大家午安
: 刚刚小鲁我的FB上出现了一位朋友的近况
: 他写了一首新诗，叙述它与高等微积分的相遇
: 以及相处，最后以来年再见做结尾
: 我想他应该很清楚他要被当了所以才写了这一首诗
: 可是看他每天的近况都在高微长高微短的阿
: 这样用心的付出竟然得不到甜美的果实
: 看来面对高微就像是面对一位心仪的女生一样呢
: 这或许是小鲁完全不能理解的吧！
: 有没有高微有多难的八卦？
小妹是键盘高等微积分高手、温拿、E cup、30cm、高富帅、胜利组、真强者，
八卦是听说中研院刘太平院士大学时修高微被当！可见大只鸡慢啼啊！
刘院士的wiki：
http://zh.wikipedia.org/wiki/%E5%8A%89%E5%A4%AA%E5%B9%B3
节录：
刘太平（1945年11月18日－）1968年国立台湾大学数学系毕业，1973年
美国密西根大学数学所博士，中央研究院院士。
曾任美国史丹福大学数学系教授、中央研究院数学研究所所长，现任中
央研究院数学研究所特聘研究员，专长包含非线性偏微分方程、震波理
论及动力学方程。
本温刚刚还Google了这位院士，有人说刘院士表示：高微和线代修过就可以开始
做研究了！
所以乡民们可以开始冲刺数学研究了！！！
再补一个高微的内容赚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）的一个特殊情况。