Comment on Some Junk Theorems in LeanparentComments−xigoi8moif you set the junk value for a non-converging Riemann integral to the average of the lim sup and lim inf you can obliterate a huge number of integrability side conditionsWouldn’t this still cause problems if the lim sup is ∞ and the lim inf is -∞?
Comments
Wouldn’t this still cause problems if the lim sup is ∞ and the lim inf is -∞?