Zur Darstellung der Möbiusschen Funktion durch größte Ganze. (Q563483)

Ist \[ \begin{aligned} \varPhi (x)&=\begin{cases} 0\text{ für }x<1,\\ 1\text{ für }x\geqq 1,\end{cases} \\ I_1(x)&=\varPhi \left (\frac x2\right )+\varPhi \left (\frac x3\right )+\varPhi \left (\frac x4\right )+\cdots,\\ I_k(x)&=I_{k-1}\left (\frac x2\right )+I_{k-1}\left (\frac x3\right )+I_{k-1}\left (\frac x4\right )+\cdots \quad (k=2,3,\ldots ),\\ \end{aligned} \] so gilt, wie \textit{Brun} gezeigt hat (Forhandlinger Norske Videnskabers Selskab 4 (1931), 66-69; JFM 57.0185.*), für die \textit{Möbius}sche Funktion die Darstellung \[ \mu (x)=\sum _{k=1}^\infty (-1)^k\{I_k(x)-I_k(x-1)\}. \] Aus dieser leitet Verf. die Darstellung \[ \mu (x)=-1+\sum _{k=2}^\infty \sum _{\nu _1,\nu _2,\ldots,\nu _{k-1}=2}^\infty (-1)^k \left \{\left [\frac x{\prod \limits _{\varrho =1}^{k-1}\nu _\varrho }-1\right ]-\left [ \frac {x-1}{\prod \limits _{ \varrho =1}^{k-1}\nu _\varrho }\right ]\right \} \] ab und folgert hieraus eine ähnliche Darstellung für \(I_2(x)\).