The main objective is to derive a lower bound from an upper one for harmonic functions in the half space, which extends a result of B. Y. Levin from dimension 2 to dimension n ≥ 2. To this end, we first generalize the Carleman's formula for harmonic functions in the half plane to higher dimensional half space, and then establish a Nevanlinna's representation for harmonic functions in the half sphere by using Hörmander's theorem. © 2012 Wuhan Institute of Physics and Mathematics.