On irrationality measure of \(\arctan \frac{1}{3} \) (Q2287012)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On irrationality measure of \(\arctan \frac{1}{3} \) |
scientific article |
Statements
On irrationality measure of \(\arctan \frac{1}{3} \) (English)
0 references
23 January 2020
0 references
Let \(\mu(x)\) be the irrationality measure exponent of the number \(x\). Then the authors prove that \(\mu(\arctan (\frac 13))\leq 6.096755\). The proof is based on the calculation of the special integral and arithmetical properties of the number \(\arctan (\frac 13)\).
0 references
irrationality measure
0 references
linear form
0 references
