Zu den Mittelwerten zahlentheoretischer Funktionen. (Q2579904)

Verf. beweist die Formel \[ \int\limits_0^x dx_1 \int\limits_0^{x_1} dx_2 \dots \int\limits_0^{x_{m-1}} dx_m \left[\dfrac{x_m}{n}\right] = n^m \left\{ B_{m+1} \left(\dfrac xn\right) - B_{m+1}\left(\dfrac xn \left[\dfrac xn\right]\right)\right\}, \] wo \(B_{m+1}\) das \((m + 1)\)-te Bernoullische Polynom ist. Aus den trivialen Spezialfällen \(m = 1, 2, 3\) dieser fast-trivialen Formel leitet er einige weitere triviale Formeln ab.