#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int n, l;
  cin >> n >> l;
  vector<int> V(n);
  for (int i = 0; i < n; ++i) cin >> V[i];
  int ans = 0;
  for (int i = l; i <= 100; ++i) {
    int cnt = 0;
    for (int j = 0; j < n; ++j) {
      cnt += V[j] / i;
    }
    ans = max(ans, cnt * i);
  }
  cout << ans << "\n";
  return 0;
}
