Skip to content

Comment on Some Junk Theorems in Leanparent

Comments

if 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 conditions

Wouldn’t this still cause problems if the lim sup is ∞ and the lim inf is -∞?

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.