Let [t] be the greatest integer less than or equal to t. Then the least value of p∈N for which
\[\lim_{x\to0^+}\left(x\left(\left[\frac1x\right]+\left[\frac2x\right]+\cdots+\left[\frac{p}{x}\right]\right)-x^2\left(\left[\frac{1}{x^2}\right]+\left[\frac{2^2}{x^2}\right]+\cdots+\left[\frac{9^2}{x^2}\right]\right)\right)\geq1\]
is equal to \_\_\_\_\_\_\_.
Answer: 24
Solutions · 1
Official solution
As x→0+, x[xn]→n for each fixed n, and similarly x2[x2n2]→n2. So the limit reduces to
\[(1+2+\cdots+p)-(1^2+2^2+\cdots+9^2)\geq1\]
Using 1+2+⋯+p=2p(p+1) and 12+⋯+92=69⋅10⋅19=285:
\[\frac{p(p+1)}{2}-285\geq1\implies p(p+1)\geq572\]
Testing: 23×24=552<572, while 24×25=600≥572. So the least value is p=24.