Definition:Improper Integral on Open Above Interval