Corollary 1
Tag 08ZZ, permanent. Cite it as [Bourbaki, Tag 08ZZ].
Integration, V, p. 6, § 1. Essential upper integral
For f to be negligible, it is necessary and sufficient that it be locally negligible and moderated.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.