Noetherian ring
For any local Noetherian ring, the inequality