题目描述

给出正整数 $n$ 和 $k$，计算 $j(n,k) = k \bmod 1 + k \bmod 2 + k \bmod 3 + \dots + k \bmod n$ 的值。

例如 $j(5,3) = 3 \bmod 1 + 3 \bmod 2 + 3 \bmod 3 + 3 \bmod 4 + 3 \bmod 5 = 0 + 1 + 0 + 3 + 3 = 7$。

输入格式

输入仅一行，包含两个整数 $n,k$。

输出格式

输出仅一行，即 $j(n,k)$。

样例

输入样例：

5 3

输出样例：

7

样例解释

$n=5, k=3$
$3 \bmod 1 = 0$
$3 \bmod 2 = 1$
$3 \bmod 3 = 0$
$3 \bmod 4 = 3$
$3 \bmod 5 = 3$
总和 $0+1+0+3+3=7$。

数据范围

• $1 \le n,k \le 10^9$

时空限制

• 时间限制：1 秒
• 空间限制：64 MB