Nuprl Definition : series-diverges
Σn.x[n]↑ == n.Σ{x[i] | 0≤i≤n}↑
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
diverges: n.x[n]↑,
natural_number: $n
Definitions occuring in definition :
diverges: n.x[n]↑,
rsum: Σ{x[k] | n≤k≤m},
natural_number: $n
FDL editor aliases :
series-diverges
series-diverges
Latex:
\mSigma{}n.x[n]\muparrow{} == n.\mSigma{}\{x[i] | 0\mleq{}i\mleq{}n\}\muparrow{}
Date html generated:
2016_05_18-AM-08_00_23
Last ObjectModification:
2015_09_23-AM-09_03_18
Theory : reals
Home
Index