※ 引述《paperbattle (?)》之銘言：
: 那就來考考各位八卦板友
: (IQ(p) is Intelligence Quotient of a person p)
: There is a p in '9.2' and IQ(p) < ε for all ε > 0.
: For every p and q in '9.2', | IQ(p) - IQ(q) | < ε for all ε > 0.
: Prove that IQ(p) = 0 for all p in 9.2
Prove by contradiction
Assume there exists a p' in 9.2 s.t. IQ(p') > ε' for some ε' > 0.
since p and p' are in 9.2, | IQ(p) - IQ(p') | < ε for all ε > 0,
IQ(p') = IQ(p) < ε for all ε > 0,
which contradicts with the assumption that IQ(p') > ε' for some ε' > 0.
Therefore, the assumption is false,
there does not exist any p in 9.2 s.t. IQ(p) > 0.
中間有些地方感覺好像有點不夠嚴謹 但我自己不是很確定有沒有問題
有看出來的話請幫忙指點一下

|IQ(p)-IQ(p')|<ε 要改成 |IQ(p')-0|<εthen | IQ(p') | < ε , for all ε > 0 :)因為 |IQ(p)-IQ(p')|<ε for all ε>0 ,|IQ(p)-IQ(p')|<ε'/2 => IQ(p')-ε'/2<IQ(p)<IQ(p')+ε'/2=> ε'/2<IQ(p) , for some ε'>0 →←

如果沒有IQ(p)>=0這個前提，充其量只能證明IQ(p)-IQ(p')=0吧！