Nonnegativity
This was proven by Ofer Gabber in 1995.
Read more about this topic: Serre's Multiplicity Conjectures