Irrational_Series_Erdos_Straus (Q53737)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Irrational_Series_Erdos_Straus
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Irrational_Series_Erdos_Straus |
AFP entry Irrational_Series_Erdos_Straus |
Statements
Angeliki Koutsoukou-Argyraki
0 references
Wenda Li
0 references
We formalise certain irrationality criteria for infinite series of the form: \[\sum_{n=1}^\infty \frac{b_n}{\prod_{i=1}^n a_i} \] where $\{b_n\}$ is a sequence of integers and $\{a_n\}$ a sequence of positive integers with $a_n >1$ for all large n. The results are due to P. Erdős and E. G. Straus [1] . In particular, we formalise Theorem 2.1, Corollary 2.10 and Theorem 3.1. The latter is an application of Theorem 2.1 involving the prime numbers.
0 references
12 May 2020
0 references
Irrationality Criteria for Series by Erdős and Straus (English)
0 references
