Improper integral/Existence/Exercise form