#include <iostream>
#include <vector>
using namespace std;

int main() {
  int N; cin >> N;
  vector<int> P(N);
  for(int i=0; i<N; i++) {
    cin >> P[i];
  }

  int ans = 0;
  for(int A=0; A<=N; A++) {
    int cnt = 0;
    for(int i=0; i<N; i++) {
      if(P[i] >= A) cnt++;
    }
    if(cnt >= A) ans = max(ans, A);
  }
  cout << ans << endl;
  return 0;
}

