#include <bits/stdc++.h>
using namespace std;
int t[111];
int n, l;
int main() {
  scanf("%d %d", &n, &l);
  for (int(i) = (0); (i) < (n); (i)++) scanf("%d", &t[i]);
  int ile = 0, res = 0;
  for (int(i) = (0); (i) < (101); (i)++)
    if (i >= l) {
      ile = 0;
      for (int(j) = (0); (j) < (n); (j)++) ile += t[j] / i;
      res = max(res, ile * i);
    }
  printf("%d\n", res);
  return 0;
}
