DLMF:4.32.E3 (Q2193): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Changed an Item: Add constraint
Property / constraint
 

y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}}

y>0
Property / constraint: y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}} / rank
 
Normal rank

Revision as of 08:16, 20 December 2021

No description defined
Language Label Description Also known as
English
DLMF:4.32.E3
No description defined

    Statements

    | cosh x - cosh y | | x - y | sinh x sinh y , 𝑥 𝑦 𝑥 𝑦 𝑥 𝑦 {\displaystyle{\displaystyle|\cosh x-\cosh y|\geq|x-y|\sqrt{\sinh x\sinh y},}}
    0 references
    y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}}
    0 references

    Identifiers