#include <bits/stdc++.h>
using namespace std;
int n, l, ans, t;
vector<int> v;
int main() {
  cin >> n >> l;
  for (int i = 0; i < n; i++) {
    cin >> t;
    if (t >= l) v.push_back(t);
  }
  for (int i = l; i <= 100; i++) {
    int cnt = 0;
    for (int j = 0; j < v.size(); j++) cnt += v[j] / i;
    ans = max(ans, cnt * i);
  }
  cout << ans;
  return 0;
}
