#include <bits/stdc++.h>
using namespace std;
int main() {
ios::sync_with_stdio(false);
cin.tie(0), cout.tie(0);
long long n,m,sum=0; cin >> n >> m;
for(int i=1,cur=1;i<=m;i++) {
if(i%2!=0) sum+=cur;
else sum+=n-cur+1, cur++;
}
cout << sum;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBtYWluKCkgewogICAgaW9zOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOwogICAgY2luLnRpZSgwKSwgY291dC50aWUoMCk7CiAgICBsb25nIGxvbmcgbixtLHN1bT0wOyBjaW4gPj4gbiA+PiBtOwogICAgZm9yKGludCBpPTEsY3VyPTE7aTw9bTtpKyspIHsKICAgICAgICBpZihpJTIhPTApIHN1bSs9Y3VyOwogICAgICAgIGVsc2Ugc3VtKz1uLWN1cisxLCBjdXIrKzsKICAgIH0KICAgIGNvdXQgPDwgc3VtOwogICAgcmV0dXJuIDA7Cn0=