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
Basic real golden ratio
Results
An infinite product of real numbers on the open unit interval need not converge to zero
Endpoint bounds for real convex combination
Infinite product of real numbers in right-closed unit interval does not vanish iff infinite sum of duals converges
Infinite product of real numbers in right-closed unit interval vanishes iff infinite sum of duals diverges
Lower bound to the product of duals of a finite collection of real numbers in the left-closed unit interval
Real binomial theorem for exponent two