#yuki821

n,k=map(int,raw_input().split())
print (2*n-k+1)*k/2+1