$$K = \left| \frac{17 + 9i}{1 - 2i} \right|^2 - \int_{0}^{\pi} e^x \sin x \,dx - \lim_{n \to \infty} \sum_{k=1}^{n} \frac{2k}{n^2}$$
