О многомерном аналоге теоремы Левинсона о повторном логарифме для гармонических функций

Пусть $P$ — прямоугольник $(-a,a)\times(-b,b)$ в $\mathbb{R}^2$, а $M:[0,b]\to [e,+\infty]$ — убывающая функция. Рассмотрим множество $F_M$ функций $f$, голоморфных в $P$, таких что $|f(x,y)| \leq M(|y|)$, $(x,y)\in P$. Классическая теорема Левинсона утверждает, что $F_M$ — нормальное семейство функций в $P$, если $\int_{0}^{b}\log\log M(y)dy<+\infty$.
В утверждении выше класс голоморфных функций можно заменить на класс гармонических, и утверждение останется верным.
Планируется рассказать доказательство аналога теоремы Левинсона для гармонических функций в старших размерностях.