|
|
Viewing Correction to 'limit superior'
|
a result by Daume Correction id: 5237 Filed on: 2004-11-04 20:34:57 Status: Rejected on 2004-11-04 20:45:24 Type: Addendum
Correction text:
Is it possible to add a result. That is if x_n is a sequence in R then
lim sup x_n = inf_n sup_{k>n} x_n and lim inf x_n = sup_n inf_{k>n} x_n.
I feel those are used often and might be good to add, let me know.
thanks
Yann | Comment from object owner rmilson:
This result is already included in the entry, albeit in the form lim of a sup rather than inf of a sup However the sups of the subsequence make for a degreasing sequence, so there is no difference between the lim and the inf |
|
|
|
|
|
|
|
|
|
|