DLMF:4.32.E4 (Q1857)

From testwiki
Revision as of 18:06, 1 January 2020 by imported>Admin (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
Jump to navigation Jump to search
No description defined
Language Label Description Also known as
English
DLMF:4.32.E4
No description defined

    Statements

    test
    arctan ⁡ x ≤ 1 2 ⁢ π ⁢ tanh ⁡ x , 𝑥 1 2 𝜋 𝑥 {\displaystyle{\displaystyle\operatorname{arctan}x\leq\tfrac{1}{2}\pi\tanh x,}}
    0 references
    DLMF id
    DLMF:4.32.E4
    0 references
    constraint
    x ≥ 0 𝑥 0 {\displaystyle{\displaystyle x\geq 0}}
    0 references
    Symbols used
    the ratio of the circumference of a circle to its diameter
    test
    π {\displaystyle{\displaystyle\pi}}
    xml-id
    C3.S12.E1.m2adec
    0 references
     
      Retrieved from "https://lct.wmflabs.org/w/index.php?title=Item:Q1857&oldid=8840"