she squeeze on my theorem till i evaluate
she bound on my monotonic sub-sequence till i converge
she ε > 0 on my {a_n} till i | a_n - L | < ε ∀ n≥N , N∈N