- ∀a:sequence {[l,u]}.∀x:C. ⌊n,fst (a n)⌋ ↑ x →
- xâ\88\88[l,u] â\88§ â\88\80h:x â\88\88 [l,u].a uniform_converges â\8c©x,hâ\8cª.
+ ∀a:sequence {[l,u]}.∀x:C. ⌊n,\fst (a n)⌋ ↑ x →
+ xâ\88\88[l,u] â\88§ â\88\80h:x â\88\88 [l,u].a uniform_converges â\89ªx,hâ\89«.