#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, l;
  scanf("%d %d", &n, &l);
  int a[10000];
  for (int i = 0; i < n; i++) scanf("%d", &a[i]);
  int maxa = 0;
  for (int i = 0; i < n; i++)
    if (a[i] > maxa) maxa = a[i];
  long long max = 0;
  for (int i = l; i <= maxa; i++) {
    long long sum = 0;
    for (int j = 0; j < n; j++) sum += a[j] / i;
    if (sum * i > max) max = sum * i;
  }
  printf("%lld\n", max);
}
