因为limF=A
所以总能找到一个实数集D,当x>M时,成立
|F-A|M
有|F|=|A+(F-A)|>=|A|-|F-A|>|A|-|A|/2=|A|/2