Question
Prove that $\frac{1}{2}\tan\Big(\frac{\text{x}}{2}\Big)+\frac{1}{4}\tan\Big(\frac{\text{x}}{4}\Big)+...+\frac{1}{2^{\text{n}}}\tan\Big(\frac{\text{x}}{2^{\text{n}}}\Big)=\frac{1}{2^{\text{n}}}\cot\Big(\frac{\text{x}}{2^{\text{n}}}\Big)-\cot\text{x}$ for all $\text{n}\in\text{N}$ and $0<\text{x}<\frac{\pi}{2}$