Given a positive real C≥1 and a sequence a1,a2,a3,⋯ satisfying for any positive integer n,an≥0
and for any real x≥1,
xlgx−k=1∑[x][kx]ak≤Cx,
where [x] is defined as the largest integer that does not exceed x. Prove that for any real y≥1,
k=1∑[y]ak<3Cy.