수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
자연수 nnn에 대하여 0≤x<2n+10\le x<2^{n+1}0≤x<2n+1일 때, 부등식
을 만족시키는 서로 다른 모든 자연수 xxx의 개수를 ana_nan이라 하자. ∑n=17an\sum_{n=1}^7a_n∑n=17an의 값을 구하시오. [4점]
