▾ 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
Real number
<No formulations for this definition yet>
Child definitions
» D2137: Basic real golden ratio
Results
» R4692: Series diverges for real numbers in the left-closed unit interval iff infinite product of duals vanishes
» R4694:
» R4693: Lower bound to the product of duals of a finite collection of real numbers in the left-closed unit interval
» R3545: Endpoint bounds for real convex combination
» R4261: Real binomial theorem for exponent two
» R4695: An infinite product of real numbers on the open unit interval need not converge to zero
» R5168: Infinite product of real numbers in right-closed unit interval vanishes iff infinite sum of duals diverges
» R5169: Infinite product of real numbers in right-closed unit interval does not vanish iff infinite sum of duals converges
» R5166: Series converges for real numbers in the left-closed unit interval iff infinite product of duals does not vanish