MathDB
Pvove sum less than 3Cy

Source: 2018 China Southeast MO Grade 11 P8

July 31, 2018
algebra

Problem Statement

Given a positive real C1C \geq 1 and a sequence a1,a2,a3,a_1, a_2, a_3, \cdots satisfying for any positive integer n,n, an0a_n \geq 0 and for any real x1x \geq 1, xlgxk=1[x][xk]akCx,\left|x\lg x-\sum_{k=1}^{[x]}\left[\frac{x}{k}\right]a_k \right| \leq Cx, where [x][x] is defined as the largest integer that does not exceed xx. Prove that for any real y1y \geq 1, k=1[y]ak<3Cy.\sum_{k=1}^{[y]}a_k < 3Cy.