#include <bits/stdc++.h>
using namespace std;
int arr[123];
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  int n, l;
  cin >> n >> l;
  for (int i = 0; i < n; i++) cin >> arr[i];
  int res = 0;
  for (int j = l; j < 100; j++) {
    int cur = 0;
    for (int i = 0; i < n; i++) cur += arr[i] / j;
    res = max(res, cur * j);
  }
  cout << res << endl;
  return 0;
}
