#include <bits/stdc++.h>
using namespace std;
long long n, l;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> l;
  vector<long long> arr(n), cnt(105, 0);
  for (int i = 0; i < n; ++i) {
    cin >> arr[i];
  }
  for (int i = 0; i < n; ++i) {
    for (int j = 100; j >= l; --j) {
      cnt[j] += (arr[i] / j);
    }
  }
  long long maks = 0;
  for (int i = l; i <= 100; ++i) maks = max(maks, i * cnt[i]);
  cout << maks << '\n';
}
