Asymptotic mean value formula for sub-p-harmonic functions on the Heisenberg group

In this paper, we prove an asymptotic mean value formula of sub-p-harmonic functions in the viscosity sense on the Heisenberg group. As an application, we give a new proof of the Harnack inequality for sub-p-harmonic functions on the Heisenberg group.