proof的步驟中,
a-(a-b)/2 < Xn < a+(a-b)/2
=>(a-b)/2 < Xn for all n>N1 ----------- (1)
b-(a-b)/2 < Yn < b+(a-b)/2
=>Yn <(a-b)/2, for all n>N2 ---------- (2)
i.e. Xn>Yn, for all n>N
我唔明(1) 和 (2) 係點推論出黎