Question Number 167160 by qaz last updated on 08/Mar/22
$$\mathrm{calculate}\:::\:\:\:\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}ncos}\left(\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{sin}\:\left(\mathrm{2}\pi\mathrm{nx}\right)}{\mathrm{x}}\mathrm{dx}\right)=\frac{\mathrm{1}}{\mathrm{2}\pi} \\ $$