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
DLMF:7.8.E8 - MaRDI portal

DLMF:7.8.E8 (Q3092)

From MaRDI portal





No description defined
Language Label Description Also known as
English
DLMF:7.8.E8
No description defined

    Statements

    erf x < 1 - e - 4 x 2 / π , error-function 𝑥 1 4 superscript 𝑥 2 {\displaystyle{\displaystyle\operatorname{erf}x<\sqrt{1-{\mathrm{e}^{-4x^{2}/% \pi}}},}}
    0 references
    x > 0 𝑥 0 {\displaystyle{\displaystyle x>0}}
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2abdec
    0 references
    erf z error-function 𝑧 {\displaystyle{\displaystyle\operatorname{erf}\NVar{z}}}
    C7.S2.E1.m2adec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2acdec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C7.S1.XMD1.m1gdec
    0 references

    Identifiers