#pragma GCC optimize ("O3")
#pragma GCC target("avx2")

#include <bits/stdc++.h>
using namespace std;

const int N=5e4+100;

uint16_t p[N];
uint16_t cnt[N], ans[N];

void iter(uint16_t i, uint16_t lim, uint16_t m) {
    for (uint16_t d = 0; d <= lim; d++) {
        bool ok = p[i] < p[d + i];
        cnt[d] = (cnt[d] + 1) * ok;
        ans[d] += (cnt[d] >= m);
    }
}

signed main() {
    cin.tie(0)->sync_with_stdio(0);
    cin.exceptions(cin.failbit);

    uint16_t n,m;
    cin >> n >> m;

#if 0 // real use
    for (uint16_t i = 0; i < n; i++)
        cin >> p[i];
#else // random test
    for (uint16_t i = 0; i < n; i++)
        p[i] = i;
    mt19937 rng;
    shuffle(p, p + n, rng);
#endif

    for (uint16_t i = 0; i < n; i++)
        iter(i, min(n - m, n - i - 1), m);
    cout << accumulate(ans + 1, ans + n, 0LL);
}