Let $x_1, \dots, x_N \in (0, \infty)$ each be a D993: Real number such that
(i) | $a \in (0, \infty)$ is a D3306: Real harmonic mean of $x_1, \dots, x_N$ |
Then
\begin{equation}
a
= \frac{N}{\sum_{n = 1}^N \frac{1}{x_n}}
\end{equation}