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