Proof that two antiderivatives differ by a constant, quantifier confusion
The proof that two antiderivatives of f differ by a constant is given in several other questions.
By the mean value theorem, for all , there exists an such that
so we can define
But since that's true for all a and b, what happens if we let ? Then , which means that for all . But that doesn't seem like it's true.
So I suspect I'm confused about quantifiers somewhere. Where am I going wrong?