\documentclass[11pt]{scrartcl}

\usepackage[sexy]{evan}
%% Get evan.sty from the following URL:
%% https://github.com/vEnhance/dotfiles/blob/main/texmf/tex/latex/evan/evan.sty
%% Read https://web.evanchen.cc/faq-latex.html#L-4 for usage instructions

\begin{document}
\title{Solution to 15CHN1}
\date{OTIS}
\maketitle
In fact, we claim more strongly that
\begin{claim*}
\[ \opname{Re} \sum_k z_k
\cdot \opname{Re} \sum_k \frac{1}{z_k}
\ge n^2(1-r^2). \]
\end{claim*}
To prove this, let $z_k = a_k + b_k i$.
Then the inequality to be proved is
\[ \opname{Re} \sum_k a_k
\cdot \opname{Re} \sum_k \frac{a_k}{a_k^2+b_k^2}
\ge n^2(1-r^2). \]
The given condition implies that
\begin{align*}
(a_k-1)^2 + b_k^2 \le r^2
\implies 2a_k &\ge (1-r^2) + (a_k^2+b_k^2) \\
&\ge 2\sqrt{(1-r^2)(a_k^2+b_k^2)}
\end{align*}
with the last inequality by AM-GM.
Hence Cauchy-Schwarz on the original inequality works.
\end{document}