Zanello's multiplicity bounds from the sign changes of the third difference
Zanello's conjecture. If R/IR/IR/I is level of codimension three, then