Bound Must Be Finite Difference