Write some code to prove that $\sum_{k=1}^n\tan^{-1}\frac{1}{2k^2}=\tan^{-1}\frac{n}{n+1}$. Note the right-hand side depends only on $n$, the numbers of terms in your sum on the left-hand side. (From Andreescu, p. 28.)← Back to challenges | Lessons Type your code here: Run Share Lua reference See your results here: Share your code × Show a friend, family member, or teacher what you've done! Here is a share link to your code: