#include <bits/stdc++.h>
using namespace std;
template <class A, class B>
ostream& operator<<(ostream& o, pair<A, B>& p) {
  return o << "(" << p.first << ", " << p.second << ")";
}
template <class T>
ostream& operator<<(ostream& o, const vector<T>& v) {
  o << "{";
  for (typeof((v).begin()) it = (v).begin(); it != (v).end(); it++)
    o << *it << ", ";
  return o << "}";
}
struct debugger {
  ostream& out;
  bool first;
  void start() { first = true; }
  debugger(ostream& out) : out(out) { start(); }
  void nl() {
    out << endl;
    start();
  }
  template <class T>
  debugger& operator,(T& v) {
    if (first)
      first = false;
    else
      out << ", ";
    out << v;
    return *this;
  }
  template <class T>
  debugger& operator,(pair<T*, int> arr) {
    out << "{";
    for (typeof((arr.second) - 1) i = (0); i <= ((arr.second) - 1); i++) {
      out << arr.first[i] << ", ";
    }
    out << "}";
    return *this;
  }
} dbg(cerr);
int main() {
  int n, l, arr[110];
  cin >> n >> l;
  for (typeof((n)-1) i = (0); i <= ((n)-1); i++) cin >> arr[i];
  int mx = 0;
  for (typeof(100) i = (l); i <= (100); i++) {
    int c = 0;
    for (typeof((n)-1) j = (0); j <= ((n)-1); j++) {
      c += arr[j] / i;
    }
    mx = max(c * i, mx);
  }
  cout << mx << endl;
  return 0;
}
