#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#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.rbegin(),S.rend());
  for(int i=0;i<N;i++){
    for(int j=0;j<N;j++){
      if(S[i]*S[j]/2.0 < K) break;
      ans++;
    }
  }
  cout<<ans<<endl;
}