Def int as limit of sum
Information: Def int as limit of sum