This result states monotonicity formula for stationary harmonic maps: given m 2, let U R m be open, let (N,h) be a smooth Riemannian manifold isometrically embedded in some Euclidean space R q, and let u W 1,2 (U;N) be a stationary harmonic map. Fix.... It is useful in harmonic map theory and elliptic regularity, where variational identities, curvature estimates, and compactness arguments control geometric objects.