수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
함수 y=2πxy=\dfrac{2\pi}{x}y=x2π의 그래프와 함수 y=cosxy=\cos xy=cosx의 그래프가 만나는 점의 xxx좌표 중 양수인 것을 작은 수부터 크기순으로 모두 나열할 때, mmm번째 수를 ama_mam이라 하자.limn→∞∑k=1n{n×cos2(an+k)}\displaystyle \lim_{n\to\infty}\sum_{k=1}^{n}\left\{n\times\cos^2\left(a_{n+k}\right)\right\}n→∞limk=1∑n{n×cos2(an+k)}의 값은? [4점]