수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
자연수 nnn에 대하여 두 조건 [xn]=2\left[\dfrac xn\right]=2[nx]=2, [xn+1]=1\left[\dfrac x{n+1}\right]=1[n+1x]=1을 만족시키는 실수 xxx 중에서 가장 큰 자연수를 ana_nan이라 할 때, ∑n=130an {\displaystyle\sum\limits_{n=1}^{30}a_n}n=1∑30an의 값은? (단, [t][t][t]는 ttt보다 크지 않은 최대 정수이다.) [4점]
