You don't actually need F(pi) + F(0) to be non-zero. The proof shows that the integral is positive, but arbitrarily small. The means that F(pi)+F(0) must be pos

You don't actually need F(pi) + F(0) to be non-zero. The proof shows that the integral is positive, but arbitrarily small. The means that F(pi)+F(0) must be positive, but arbitrarily small. If F(pi)+F(0) is a positive integer, it fails the arbitrarily small test. If F(pi)+F(0) is a non-positive integer (including 0), it fails the positive test.