Comment

November 18, 2017

Here is my attempt: denoting the sequence with xn , we get:

k+1 2 2 2 k+1
n x −bnxc n x −k 2 2 2
xn = lnnn n−1 dx = lnnn n−1
P R P R
k=0 k
n
(1+x2 )(1+bnxc2 ) k=0 k
n
(1+x2 )(1+k2 )
dx . Here
n n
I obtained, calculating the integral,
xn = lnnn n−1 1 2 2 k
k=0 1+k2 (n + (n + k )(arctan n − arctan n )).
k+1
P

n2 x2 −k2
Or, another idea would be, denoting f (x) = (1+x 2 )(1+k 2 ) and its primitive

with F(x), to apply the mean value theorem to the function F : [ nk , k+1 n
],
k k+1 1 0 k+1 k
which gives a ck ∈ [ n , n ], such that n F (ck ) = F ( n ) − F ( n ), i.e.
k+1
1 R n2 x2 −k2
n
f (ck ) = k
n
(1+x2 )(1+k2 )
dx, so we finally obtain
n
2 2
n ck −k 2
1 Pn−1
xn = ln n k=0 (1+c2 )(1+k2 )
k

From here on, I couldn’t manage to do any step further.