#include <stdio.h>

int main(){
	int m, n, s = 0;
scanf("%d %d", &n,&m);
for(int i=1; i<=n; i++){
s = s+ m%i;
}
printf("%d\n",s);
}