MathDB
converge of infinite faulhaber sum

Source: Putnam 1982 A2

September 19, 2021
Summationreal analysisalgebra

Problem Statement

For positive real xx, let Bn(x)=1x+2x++nx.B_n(x)=1^x+2^x+\ldots+n^x.Prove or disprove the convergence of n=2Bn(logn2)(nlog2n)2.\sum_{n=2}^\infty\frac{B_n(\log_n2)}{(n\log_2n)^2}.