#include using namespace std; int main(void) { cin.tie(0); ios::sync_with_stdio(false); int H,N,t; vector h; cin >> H >> N; for(int i=0;i> t; h.push_back(t); } h.push_back(H); sort(h.rbegin(),h.rend()); int res = N; for(int i=0;i