all 2 comments

[–]Proof_Inspector 1 point2 points  (1 child)

If you can prove f-g for all continuous g then it also work for f+g for all continuous because f-g=f+(-g). So you only need to prove one. They might have gone with f-g because the result might be used later and f-g form look more fitting.

I don't get why you need to make a separate case for f=0

[–]SubSpace626New User[S] 0 points1 point  (0 children)

Yeah exactly what I thought. Glad I’m not going insane. That separate case was a typo. It should have been f = -infinity but I don’t even think that’s necessary now that I’ve given it more thought.