// UUID: 4f124b6e-08f1-4c29-b62f-890d38cf0147
#include <bits/stdc++.h>
using namespace std;
vector<int> prices;
long full_price=0;
int item_price;
int avg;
int db;
int eredmény=0;
int main() {
    cin>>db;
    cin>>avg;
    avg=avg*db;
    
    prices.reserve(db);

    while(cin>>item_price){
        full_price+=item_price;
        prices.push_back(item_price);
    }
    if (full_price<avg){
        cout<<'1';
    }
    else if(full_price==avg){
        cout<<'0';
    }
    else{
        int diff{static_cast<int>(full_price - avg)};
        while(diff>0){
            auto iter{std::max_element(prices.begin(), prices.end())};
            int max {*iter};
            *iter = 0;
            diff-=max-1;
            eredmény+=1;

        }
        cout<<eredmény;
    }
}