Nuprl Definition : converges-to-infinity
lim n →∞.x[n] = ∞ == ∀k:ℕ+. ∀large(n).r(k) ≤ x[n]
Definitions occuring in Statement :
rleq: x ≤ y,
int-to-real: r(n),
nat_plus: ℕ+,
all: ∀x:A. B[x],
all-large: ∀large(n).P[n]
Definitions occuring in definition :
all: ∀x:A. B[x],
nat_plus: ℕ+,
all-large: ∀large(n).P[n],
rleq: x ≤ y,
int-to-real: r(n)
FDL editor aliases :
converges-to-infinity
converges-to-infinity
Latex:
lim n \mrightarrow{}\minfty{}.x[n] = \minfty{} == \mforall{}k:\mBbbN{}\msupplus{}. \mforall{}large(n).r(k) \mleq{} x[n]
Date html generated:
2016_05_18-AM-07_39_46
Last ObjectModification:
2015_09_23-AM-09_02_22
Theory : reals
Home
Index