ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Binary endorelation
▼ Preordering relation
▼ Partial ordering relation
▼ Ordering relation
▼ Ordered set
▼ Dedekind cut
▼ Set of real numbers
Definition D993
Real number
Children
▶ D2137: Basic real golden ratio
Results
▶ R4695: An infinite product of real numbers on the open unit interval need not converge to zero
▶ R3545: Endpoint bounds for real convex combination
▶ R5169: Infinite product of real numbers in right-closed unit interval does not vanish iff infinite sum of duals converges
▶ R5168: Infinite product of real numbers in right-closed unit interval vanishes iff infinite sum of duals diverges
▶ R4693: Lower bound to the product of duals of a finite collection of real numbers in the left-closed unit interval
▶ R4261: Real binomial theorem for exponent two