On Heinz type inequality for the half-plane and Gaussian curvature of Minimal surfaces

We prove a Heinz type inequality for harmonic diffeomorphisms of of the half-plane onto itself. We then apply this result to prove some sharp bound of the Gaussian curvature of a minimal surface, provided that it lies above the whole half-plane in $\mathbf{R}^3$.