加载中…
Let be a large number, let be the largest integer function, and let be the Euler totient function. The result $ \sum_{n\leq x}\varphi([x/n])=(6/\pi^2)x\log x+O\left ( x(\log x)^{2/3}(\log\log x)^{1/3}\right ) $ was proved very recently. This note presents a short elementary proof, and sharpen the error term to $ \sum_{n\leq x}\varphi([x/n])=(6/\pi^2)x\log x+O(x) $. In addition, the first proofs of the asymptotics formulas for the finite sums $ \sum_{n\leq x}\psi([x/n])=(15/\pi^2)x\log x+O(x\log \log x) \sum_{n\leq x}\sigma([x/n])=(\pi^2/6)x\log x+O(x \log \log x) $ are also evaluated here.

生成讲解博客的中文版本

生成AI智能校验的中文版本