Def int as limit of sum