#include <iostream>
#include <utility>
#include <vector>
#include <algorithm>
#include <numeric>
#include <map>
#include <unordered_set>
#include <iostream>
#include <utility>
#include <vector>
#include <algorithm>
#include <numeric>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <queue>
#include <set>
#include <stack>
#include <fstream>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#include <bitset>
#include <sstream>
#include <ext/rope>
#include <ctime>
#include <random>
#include <cstdlib>
#include <complex>
using namespace std;
using namespace __gnu_pbds;
using namespace __gnu_cxx;
/* clang-format off */
/* TYPES */
#define ll long long
#define pii pair<int, int>
#define pll pair<long long, long long>
#define vi vector<int>
#define vll vector<long long>
#define vpii vector<pair<int, int>>
#define vpii vector<pair<int, int>>
#define vvpii vector<vector<pair<int, int>>>
#define vpll vector<pair<long long, long long>>
#define vvpll vector<vector<pair<long long, long long>>>
#define vvi vector<vector<int>>
#define vvll vector<vector<long long>>
#define mii map<int, int>
#define si set<int>
#define sc set<char>
/* FUNCTIONS */
#define feach(el, v) for(auto &el: v)
#define rep(i, n) for(int i=0;i<n;i++)
#define reprv(i, n) for(int i=n-1;i>=0;i--)
#define reps(i, s, e) for(int i=s;i<e;i++)
#define reprve(i, e, s) for(int i=e;i>=s;i--)
#define repe(x, y) for (auto &x: y)
#define repe2(x, a, y) for (auto &[x,a]: y)
typedef tree<int, null_type, less<>, rb_tree_tag, tree_order_statistics_node_update> oSet;
bool check(vi &cnt, int k, int n) {
int tot = 0;
rep(i, cnt.size()) {
if (cnt[i] >= k) tot += k;
else tot += (cnt[i] + (k - cnt[i])/2);
}
return tot >= n;
}
int main() {
int n, m, x; cin >> n >> m;
vi cacheCnt(n);
rep(i, m) cin >> x, cacheCnt[x - 1]++;
int l = 0, r = 2 * m;
while (r - l > 1) {
int mid = (l + r) >> 1;
if (check(cacheCnt, mid, m)) r = mid;
else l = mid + 1;
}
if (check(cacheCnt, l, m)) cout << l;
else cout << r;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dXRpbGl0eT4KI2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPG51bWVyaWM+CiNpbmNsdWRlIDxtYXA+CiNpbmNsdWRlIDx1bm9yZGVyZWRfc2V0PgojaW5jbHVkZSA8aW9zdHJlYW0+CiNpbmNsdWRlIDx1dGlsaXR5PgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8YWxnb3JpdGhtPgojaW5jbHVkZSA8bnVtZXJpYz4KI2luY2x1ZGUgPG1hcD4KI2luY2x1ZGUgPHVub3JkZXJlZF9zZXQ+CiNpbmNsdWRlIDx1bm9yZGVyZWRfbWFwPgojaW5jbHVkZSA8cXVldWU+CiNpbmNsdWRlIDxzZXQ+CiNpbmNsdWRlIDxzdGFjaz4KI2luY2x1ZGUgPGZzdHJlYW0+CiNpbmNsdWRlIDxleHQvcGJfZHMvYXNzb2NfY29udGFpbmVyLmhwcD4KI2luY2x1ZGUgPGV4dC9wYl9kcy90cmVlX3BvbGljeS5ocHA+CiNpbmNsdWRlIDxiaXRzZXQ+CiNpbmNsdWRlIDxzc3RyZWFtPgojaW5jbHVkZSA8ZXh0L3JvcGU+CiNpbmNsdWRlIDxjdGltZT4KI2luY2x1ZGUgPHJhbmRvbT4KI2luY2x1ZGUgPGNzdGRsaWI+CiNpbmNsdWRlIDxjb21wbGV4PgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKdXNpbmcgbmFtZXNwYWNlIF9fZ251X3BiZHM7CnVzaW5nIG5hbWVzcGFjZSBfX2dudV9jeHg7CgovKiBjbGFuZy1mb3JtYXQgb2ZmICovCgovKiBUWVBFUyAgKi8KI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBwaWkgcGFpcjxpbnQsIGludD4KI2RlZmluZSBwbGwgcGFpcjxsb25nIGxvbmcsIGxvbmcgbG9uZz4KI2RlZmluZSB2aSB2ZWN0b3I8aW50PgojZGVmaW5lIHZsbCB2ZWN0b3I8bG9uZyBsb25nPgojZGVmaW5lIHZwaWkgdmVjdG9yPHBhaXI8aW50LCBpbnQ+PgojZGVmaW5lIHZwaWkgdmVjdG9yPHBhaXI8aW50LCBpbnQ+PgojZGVmaW5lIHZ2cGlpIHZlY3Rvcjx2ZWN0b3I8cGFpcjxpbnQsIGludD4+PgojZGVmaW5lIHZwbGwgdmVjdG9yPHBhaXI8bG9uZyBsb25nLCBsb25nIGxvbmc+PgojZGVmaW5lIHZ2cGxsIHZlY3Rvcjx2ZWN0b3I8cGFpcjxsb25nIGxvbmcsIGxvbmcgbG9uZz4+PgojZGVmaW5lIHZ2aSB2ZWN0b3I8dmVjdG9yPGludD4+CiNkZWZpbmUgdnZsbCB2ZWN0b3I8dmVjdG9yPGxvbmcgbG9uZz4+CiNkZWZpbmUgbWlpIG1hcDxpbnQsIGludD4KI2RlZmluZSBzaSBzZXQ8aW50PgojZGVmaW5lIHNjIHNldDxjaGFyPgoKCgovKiBGVU5DVElPTlMgKi8KI2RlZmluZSBmZWFjaChlbCwgdikgZm9yKGF1dG8gJmVsOiB2KQojZGVmaW5lIHJlcChpLCBuKSBmb3IoaW50IGk9MDtpPG47aSsrKQojZGVmaW5lIHJlcHJ2KGksIG4pIGZvcihpbnQgaT1uLTE7aT49MDtpLS0pCiNkZWZpbmUgcmVwcyhpLCBzLCBlKSBmb3IoaW50IGk9cztpPGU7aSsrKQojZGVmaW5lIHJlcHJ2ZShpLCBlLCBzKSBmb3IoaW50IGk9ZTtpPj1zO2ktLSkKI2RlZmluZSByZXBlKHgsIHkpIGZvciAoYXV0byAmeDogeSkKI2RlZmluZSByZXBlMih4LCBhLCB5KSBmb3IgKGF1dG8gJlt4LGFdOiB5KQoKdHlwZWRlZiB0cmVlPGludCwgbnVsbF90eXBlLCBsZXNzPD4sIHJiX3RyZWVfdGFnLCB0cmVlX29yZGVyX3N0YXRpc3RpY3Nfbm9kZV91cGRhdGU+IG9TZXQ7Cgpib29sIGNoZWNrKHZpICZjbnQsIGludCBrLCBpbnQgbikgewogICAgaW50IHRvdCA9IDA7CiAgICByZXAoaSwgY250LnNpemUoKSkgewogICAgICAgIGlmIChjbnRbaV0gPj0gaykgdG90ICs9IGs7CiAgICAgICAgZWxzZSB0b3QgKz0gKGNudFtpXSArIChrIC0gY250W2ldKS8yKTsKICAgIH0KICAgIHJldHVybiB0b3QgPj0gbjsKfQoKaW50IG1haW4oKSB7CiAgICBpbnQgbiwgbSwgeDsgY2luID4+IG4gPj4gbTsKICAgIHZpIGNhY2hlQ250KG4pOwogICAgcmVwKGksIG0pIGNpbiA+PiB4LCBjYWNoZUNudFt4IC0gMV0rKzsKCiAgICBpbnQgbCA9IDAsIHIgPSAyICogbTsKICAgIHdoaWxlIChyIC0gbCA+IDEpIHsKICAgICAgICBpbnQgbWlkID0gKGwgKyByKSA+PiAxOwogICAgICAgIGlmIChjaGVjayhjYWNoZUNudCwgbWlkLCBtKSkgciA9IG1pZDsKICAgICAgICBlbHNlIGwgPSBtaWQgKyAxOwogICAgfQogICAgaWYgKGNoZWNrKGNhY2hlQ250LCBsLCBtKSkgY291dCA8PCBsOwogICAgZWxzZSBjb3V0IDw8IHI7Cn0=