Actually, I think I see what I was missing: Since I am keeping the function fixed, what I want is to violate the last equality, . Well. We can go ahead and choose arbitrary so that everything after is now some constant, call it . Since , we can choose to be anything such that , thereby failing the desired equality and proving that the values of the functions at the points are unequal.

No?