Skip to main content
2 of 2
edited tags
Granger
  • 347
  • 4
  • 9

Reference requested for $\lim_{n \rightarrow \infty} \frac{\sum_{i=1}^{n} \bar{s}(i)}{n^2} = \frac{\pi^2}{30}$

While analysing the average runtime of an algorithm, I came across the following identity, and would like to know if anybody knows of any references for it?

For $i \in \mathbb{N}$, let $\bar{s}(i)$ denote the square-free part of $i$, eg., $\bar{s}(12) = 3$ (and $\bar{s}(1)=1$). Then $$ \lim_{n \rightarrow \infty} \frac{\sum_{i=1}^{n} \bar{s}(i)}{n^2} = \frac{\pi^2}{30}. $$

Many thanks.

Granger
  • 347
  • 4
  • 9