On irrationality measure of \(\arctan \frac{1}{3} \) (Q2287012)

From MaRDI portal





scientific article; zbMATH DE number 7156989
Language Label Description Also known as
default for all languages
No label defined
    English
    On irrationality measure of \(\arctan \frac{1}{3} \)
    scientific article; zbMATH DE number 7156989

      Statements

      On irrationality measure of \(\arctan \frac{1}{3} \) (English)
      0 references
      0 references
      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

      Identifiers