Revision #588 → #1361 · back to history
addedLimit inferior and limit superior of a sequence9260a4514f5c
addedSubsequential limitb84447b64d25
addedExistence in extended reals4ab5a613da90
addedAgreement with ordinary limit06a6074af870
addedInterpretation of limit superior8ef108ad83ce
addedInterpretation of limit inferiore15128ccb003
addedRelationship between liminf and limsup46e7788f1b90
addedConvergence iff liminf equals limsup16f18acb12e5
addedSmallest closed interval property41aea16dbdd6
addedFinite vs infinite count above/belowdcdb0d9e4c2b
addedConverse counting characterizationbe38249e18b7
addedLiminf and limsup as extremal cluster points5ea2d614894e
addedSubadditivity of limit superiorcee4f2831e9c
addedSuperadditivity of limit inferiord034c2233650
addedMultiplicative inequalities for non-negative sequences4b03c6e41f54
addedProduct rule when one sequence convergesbebb91e8fed8
addedSine sequence liminf and limsup5bf7d66d04a8
addedPrime gaps liminf (twin prime conjecture)80d0bce469a6
addedOscillation of a function at a pointb45071db891e
addedLimit superior and limit inferior of a real-valued functionb638fc460cd5
addedLimsup and liminf on metric spacesce6035e0dda6
addedMonotonicity in epsilon1eac5cb91c8b
addedReformulation via sequences1c2d09dc6196
addedLimsup and liminf on topological spaces45b6dcf7faf8
addedOuter limit of a sequence of sets6884c452a679
addedInner limit of a sequence of sets9dcb686ff2fc
addedSet limit existence criterion3883b9c15e98
addedDiscrete metricdfa0706a47f8
addedSet-theoretic limsup and liminfff94bdd8fa91
addedComplementation identityf50404963d6d
addedSet limit existence (discrete case)e822ef3ece5e
addedMeet of nth tail97adaedc392a
addedJoin of nth tail0e1101b6e73a
addedAlternating {0},{1} sequence52c79aaba29d
addedFinite perturbation example3cea17b2141f
addedRational subsequences exampleadf33971146c
addedOmega limit set of a dynamic system4748a08ed7d1
addedLimit inferior of a set6795cd7b945a
addedLimit superior of a setda28be295bb4
addedCluster points of a filter base8c299eb79b88
addedLimit superior of a filter baseec9b09b1521a
addedLimit inferior of a filter base5db251c541c3
addedFilter base limit existenced6f261db5471
addedFilter base of tails of a net7e7902a88576
addedFilter base of tails of a sequencec391561e7072