ε>0是任意的,取什么都没关系,取什么都有某个N, 当n>N时, |xn-a|<ε. 既然如此, 当ε=(b-a)/2时也是成立的. 至于为何取这个数, 是因为此时|xn-a|<ε与|xn-b|<ε不能同时成立. 当然, ε取得更小一些也可以.