Criterion for irrational sequences
From MaRDI portal
The main result of the paper is the following. Let \((a_ n)\) and \((b_ n)\) be two sequences of positive integers such that \(a_ n \geq r^{2^ n}_ n\) and \(b_{n+1} \leq r^ B_ n\) hold for all sufficiently large \(n\). Here \((r_ n)\) is a nondecreasing sequence of positive reals tending to infinity and \(B\) is a positive integer. Then the sum of the series \(\sum_{n \geq 1}b_ n/a_ n\) is an irrational number.
Recommendations
- On the criteria for irrational number of recursive sequences
- Irrationality measure of sequences
- Irrational sequences of rational numbers
- First order irrationality criteria for series
- scientific article; zbMATH DE number 7674023
- Criteria for Irrationality of Certain Classes of Numbers
- Irrationality criteria for Mahler's numbers
- scientific article; zbMATH DE number 5862688
- scientific article; zbMATH DE number 2216753
- scientific article; zbMATH DE number 1159536
Cited in
(15)- Irrational sums
- Nearly subadditive sequences
- Linearly unrelated sequences and problem of Erdős
- Irrational rapidly convergent series
- A note on some applications of the subspace theorem
- scientific article; zbMATH DE number 1154148 (Why is no real title available?)
- scientific article; zbMATH DE number 912027 (Why is no real title available?)
- Irrationality and transcendence criteria for infinite series in Isabelle/HOL
- Complex Cantor series, Cantor products and their independence
- First order irrationality criteria for series
- Some extensions of additive properties of general sequences
- scientific article; zbMATH DE number 3242301 (Why is no real title available?)
- Irrational sequences of rational numbers
- Irrationality of quick convergent series
- Irrationality measure of sequences
This page was built for publication: Criterion for irrational sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208175)
