DLMF:27.11.E12

MaRDI QIDQ8774 Digital Library of Mathematical Functions ID27.11.E12

• Label: DLMF:27.11.E12

${\displaystyle{\displaystyle\sum_{n\leq x}\mu\left(n\right)=O\left(xe^{-C\sqrt{\ln x}}\right),}}$

Constraint(s)

${\displaystyle{\displaystyle x\to\infty}}$

Symbols List

• ${\displaystyle{\displaystyle O\left(\NVar{x}\right)}}$: order not exceeding
• ${\displaystyle{\displaystyle\mu\left(\NVar{n}\right)}}$: Möbius function
• ${\displaystyle{\displaystyle\mathrm{e}}}$: base of natural logarithm
• ${\displaystyle{\displaystyle\ln\NVar{z}}}$: principal branch of logarithm function
• ${\displaystyle{\displaystyle n}}$: positive integer
• ${\displaystyle{\displaystyle x}}$: real number
• ${\displaystyle{\displaystyle C}}$: constant
 

Resources that cite this formula

No records found.

This page was built for formula: DLMF:27.11.E12