No label defined (Q4533401)

Let \(\varphi(n)\) denote Euler's and \(\varphi(x,n):= \sum_{d|n} \mu(d) [\frac{x}{d}]\) Legendre's totient function and \(\Delta(x,n):= \varphi(x,n)-x \frac{\varphi(n)}{n}\). If \(x\geq 1\), \(n\geq 2\), \textit{A. Sivaramasarma} [Math. Stud. 46, 160-164 (1978; Zbl 0572.10005)] proved the inequality \[ \biggl|\Delta(x,n)+\{x\} \frac{\phi(n)}{n}- \frac{1}{2} \biggl[ \frac{1}{m} \biggr]\biggr|\leq \frac{\Theta(n)}{2}+ \frac{\Theta(m)}{2}- \frac{\psi(n)/n}{\psi(m)/m} \Theta(m), \] where \(x= [x]+ \{x\}\), \(m+ (n,[x])\) and \(\phi(n)= n\prod_{p|n} (1+\frac{1}{p})\) is Dedekind's totient function. The author generalizes this inequality in the setting of Narkiewicz's regular convolution and gets a unitary analogue.