//找规律，123321123321123321…发现这样排列恰好可以错开

// 其中注意题中数据范围： M是行，N是列，3 <= N < 2×M

//则猜测：m,m,m-1,m-1,m-2,m-2,……,2,2,1,1求出前m个数字的和就是答案。

//发现案例符合（之前的代码第二天发现案例都跑不对，真不知道我当时眼睛怎么了）

#include <iostream>

#include<stdio.h>

#include<string.h>

#include<algorithm>

using namespace std;

int main()

{

    int n, m;

    while( scanf( "%d%d" , &m, &n ) != EOF )

    {

        int ans = , id = m, flag = ;

        for( int i = ; i < n; i++ )

        {

            ans += id;

            if(flag == )

                flag = ;

            else

                flag = ,id--;

        }

            printf("%d\n",ans);

    }

    return ;

}