MathDB
SMT 2022 Algebra #6

Source:

March 27, 2023

Problem Statement

Compute cot(n=123cot1(1+k=1n2k)).\cot\left(\sum_{n=1}^{23}\cot^{-1}\left(1+\sum_{k=1}^n2k\right)\right).