Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On irrationality measure of some values of \(\arctan \frac{1}{n} \) - MaRDI portal

On irrationality measure of some values of \(\arctan \frac{1}{n} \) (Q2027909)

From MaRDI portal





scientific article; zbMATH DE number 7352112
Language Label Description Also known as
English
On irrationality measure of some values of \(\arctan \frac{1}{n} \)
scientific article; zbMATH DE number 7352112

    Statements

    On irrationality measure of some values of \(\arctan \frac{1}{n} \) (English)
    0 references
    0 references
    0 references
    28 May 2021
    0 references
    Let \(\mu(x)\) be the irrationality measure exponent of the number \(x\). The authors prove that \(\mu(\arctan \frac 15)<4.505787\) and \(\mu(\arctan \frac 13)<5.94202\). The proof are based on the clever calculation of a special integrals and make use some linear forms of these integrals.
    0 references
    irrationality measure
    0 references
    linear form
    0 references

    Identifiers