#pragma GCC target("avx512f")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  int N,K;
  cin>>N>>K;
  int ans = 0;
  vector<int> S(N);
  for(int i=0;i<N;i++) cin>>S[i];
  sort(S.begin(),S.end());
  for(int i=0;i<N;i++){
    ans += N-(lower_bound(S.begin(),S.end(),K*2.0/S[i])-S.begin());
  }
  cout<<ans<<endl;
}