简单题。

第一次交换$1$和$n$，第二次交换$2$和$n-1$，第三次交换$3$和$n-2$.....计算一下就可以了。

#pragma comment(linker, "/STACK:1024000000,1024000000")

#include<cstdio>

#include<cstring>

#include<cmath>

#include<algorithm>

#include<vector>

#include<map>

#include<set>

#include<queue>

#include<stack>

#include<iostream>

using namespace std;

typedef long long LL;

const double pi=acos(-1.0),eps=1e-;

void File()

{

    freopen("D:\\in.txt","r",stdin);

    freopen("D:\\out.txt","w",stdout);

}

template <class T>

inline void read(T &x)

{

    char c=getchar(); x=;

    while(!isdigit(c)) c=getchar();

    while(isdigit(c)) {x=x*+c-''; c=getchar();}

}

int n,k;

int main()

{

    scanf("%d%d",&n,&k);

    if(k>n/) k=n/;

    LL ans=; int num=n;

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

    {

        ans=ans+num-+num-;

        num=num-;

    }

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

    return ;

}