#include <bits/stdc++.h>
using namespace std;
int d[120];
int main() {
  int n, l, i, j, cur, ans = 0;
  cin >> n >> l;
  for (i = 1; i <= n; i++) cin >> d[i];
  for (i = l; i <= 100; i++) {
    cur = 0;
    for (j = 1; j <= n; j++) cur += d[j] / i;
    cur *= i;
    ans = max(ans, cur);
  }
  cout << ans;
  return 0;
}
