DLMF:4.32.E4 (Q1857)

From testwiki
Revision as of 16:02, 30 December 2019 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
     
      Retrieved from "https://lct.wmflabs.org/w/index.php?title=Item:Q1857&oldid=8839"