In mathematics — specifically, in differential topology — Berger's inequality for Einstein manifolds is the statement that any 4-dimensional Einstein manifold (M, g) has non-negative Euler characteristic χ(M) ≥ 0. The inequality is named after the French mathematician Marcel Berger.