On the irrationality measure of \(\ln 7\) (Q2191982)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the irrationality measure of \(\ln 7\) |
scientific article |
Statements
On the irrationality measure of \(\ln 7\) (English)
0 references
26 June 2020
0 references
Let \(p, q_1, q_2, q_3\in\mathbb Z\) and \(H=\max_{1\leq i\leq 3} \mid q_i\mid\). Then the authors prove that there exists \(H_0\in\mathbb R\) such that for every \(H\geq H_0\) we have \[\mid p+q_1\ln 2+q_2\ln 3+q_3\ln 7\mid >H^{35,00999}.\]
0 references
irrationality measure
0 references
linear forms
0 references
Laplace theorem
0 references
saddle-point method
0 references
polynomials
0 references
