Def Int as a limit of sum
Information: Def Int as a limit of sum