In operator theory, von Neumann's inequality, due to John von Neumann, states that, for a fixed contraction T, the polynomial functional calculus map is itself a contraction.