MathDB
Putnam 2019 B2

Source:

December 10, 2019
PutnamPutnam 2019limit

Problem Statement

For all n1n\ge 1, let an=k=1n1sin((2k1)π2n)cos2((k1)π2n)cos2(kπ2n)a_n=\sum_{k=1}^{n-1}\frac{\sin(\frac{(2k-1)\pi}{2n})}{\cos^2(\frac{(k-1)\pi}{2n})\cos^2(\frac{k\pi}{2n})}. Determine limnann3\lim_{n\rightarrow \infty}\frac{a_n}{n^3}.