#include <bits/stdc++.h>
using namespace std;
long long power(long long x, long long y);
bool isPrime(long long n);
long long modInv(long long a, long long b);
long long gcdExtended(long long a, long long b, long long *x, long long *y);
long long mpower(long long a, long long b, long long p);
const long long inf = (long long)1e17;
const long long N = (long long)3e5 + 5;
long long tree1[N], tree2[N];
void update1(long long ss, long long se, long long id, long long val,
             long long i) {
  if (ss == se) {
    tree1[i] += val;
    return;
  }
  long long mid = (ss + se) / 2;
  if (id <= mid) {
    update1(ss, mid, id, val, 2 * i);
  } else
    update1(mid + 1, se, id, val, 2 * i + 1);
  tree1[i] = tree1[2 * i] + tree1[2 * i + 1];
}
void update2(long long ss, long long se, long long id, long long val,
             long long i) {
  if (ss == se) {
    tree2[i] += val;
    return;
  }
  long long mid = (ss + se) / 2;
  if (id <= mid) {
    update2(ss, mid, id, val, 2 * i);
  } else
    update2(mid + 1, se, id, val, 2 * i + 1);
  tree2[i] = tree2[2 * i] + tree2[2 * i + 1];
}
long long query1(long long ss, long long se, long long l, long long r,
                 long long i) {
  if (l > se || r < ss || l > r) return 0;
  if (l <= ss && r >= se) {
    return tree1[i];
  }
  long long mid = (ss + se) / 2;
  return query1(ss, mid, l, r, 2 * i) + query1(mid + 1, se, l, r, 2 * i + 1);
}
long long query2(long long ss, long long se, long long l, long long r,
                 long long i) {
  if (l > se || r < ss || l > r) return 0;
  if (l <= ss && r >= se) {
    return tree2[i];
  }
  long long mid = (ss + se) / 2;
  return query2(ss, mid, l, r, 2 * i) + query2(mid + 1, se, l, r, 2 * i + 1);
}
int32_t main() {
  ios::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  ;
  long long n, k, inv = 0;
  cin >> n >> k;
  vector<long long> v(n), comp(n), sorted(n);
  for (long long i = 0; i < n; i++) {
    cin >> v[i];
    sorted[i] = v[i];
  }
  sort(sorted.begin(), sorted.end());
  for (long long i = 0; i < n; i++) {
    long long pos =
        upper_bound(sorted.begin(), sorted.end(), v[i]) - sorted.begin();
    comp[i] = pos;
  }
  for (long long i = 0; i < n; i++) {
    long long cnt = query1(1, n, comp[i] + 1, n, 1);
    inv += cnt;
    update1(1, n, comp[i], 1, 1);
  }
  long long r = n - 1;
  long long l = n - 2, ans = 0;
  update2(1, n, comp[n - 1], 1, 1);
  update1(1, n, comp[n - 1], -1, 1);
  while (r >= 0 && l >= 0) {
    while (l >= 0 && inv > k) {
      long long lc = query1(1, n, comp[l] + 1, n, 1);
      long long rc = query2(1, n, 1, comp[l] - 1, 1);
      inv -= (lc + rc);
      update1(1, n, comp[l], -1, 1);
      l--;
    }
    if (l < 0) break;
    ans += (l + 1);
    long long lc = query1(1, n, comp[r - 1] + 1, n, 1);
    long long rc = query2(1, n, 1, comp[r - 1] - 1, 1);
    inv += (lc + rc);
    r--;
    if (l == r) {
      inv -= (lc + rc);
      if (l + 1 != n - 1) update1(1, n, comp[l], -1, 1);
      l--;
    }
    update2(1, n, comp[r], 1, 1);
  }
  cout << ans << endl;
  return 0;
}
long long modInv(long long a, long long m) {
  long long x, y;
  long long g = gcdExtended(a, m, &x, &y);
  long long res = (x % m + m) % m;
  return res;
}
long long gcdExtended(long long a, long long b, long long *x, long long *y) {
  if (a == 0) {
    *x = 0, *y = 1;
    return b;
  }
  long long x1, y1;
  long long gcd = gcdExtended(b % a, a, &x1, &y1);
  *x = y1 - (b / a) * x1;
  *y = x1;
  return gcd;
}
long long mpower(long long x, long long y, long long p) {
  long long res = 1;
  x = x % p;
  while (y > 0) {
    if (y & 1) res = (res * x) % p;
    y = y >> 1;
    x = (x * x) % p;
  }
  return res;
}
long long power(long long x, long long y) {
  long long res = 1;
  while (y > 0) {
    if (y & 1) res = res * x;
    y = y >> 1;
    x = x * x;
  }
  return res;
}
bool isPrime(long long n) {
  if (n <= 1) return false;
  if (n <= 3) return true;
  if (n % 2 == 0 || n % 3 == 0) return false;
  long long p = sqrt(n);
  for (long long i = 5; i <= p; i = i + 6)
    if (n % i == 0 || n % (i + 2) == 0) return false;
  return true;
}
