  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$.
