题目描述

给出$\red K$与$\red N$，求 $\red{\displaystyle\sum_{i=1}^{n}{k\%i}}$即$\red{k\%1+k\%2+\cdots+k\%n}$的值

输入格式

两个正整数$\red K$与$\red {N(k>=1,N<10^9)}$

输出格式

一个正整数，问题的解。

样例

输入样例

10 10

输出样例

13