Rounding the arithmetic mean value of the square roots of the first integers
arXiv:1803.00362
Abstract
In this article we study the arithmetic mean value of the square roots of the first integers. For this quantity, we develop an asymptotic expression, and derive a formula for its integer part which has been conjectured recently in the work of M. Merca. Furthermore, we address the numerical evaluation of for large .