Oooooh. Neat. Thank you. I guess… how do we know EV(lim(fn))=0? I don’t know enough analysis anymore to remember how to prove this. [reads internet] Well, Wikipedia tells me two functions with the same values everywhere but measure 0 even if those values are +inf have the same integral, so looks good. :D
lim(EV(fn)) != EV(lim(fn))
Oooooh. Neat. Thank you. I guess… how do we know EV(lim(fn))=0? I don’t know enough analysis anymore to remember how to prove this. [reads internet] Well, Wikipedia tells me two functions with the same values everywhere but measure 0 even if those values are +inf have the same integral, so looks good. :D