#include<bits/stdc++.h>
using namespace std;

typedef long long int           ll;
typedef unsigned long long int  ull;
typedef vector<int>             vi;
typedef vector<vi>              vvi;
typedef pair<ll,ll>             pll;
typedef vector< pll >           vpll;
typedef set<int>                sti;

#define pb                      push_back
#define pob                     pop_back
#define mp                      make_pair
#define ff                      first
#define ss                      second
#define loop1(i,n)              for(int i=1; i<=int(n); i++)
#define loop(i,y)               for(int i=0; i<int(y); i++)
#define rloop(i,y)              for(int i=int(y)-1; i>=0; i--)
#define read()                  freopen("input.txt", "r", stdin)
#define write()                 freopen("output.txt", "w", stdout)
#define cspf(i)                 printf("Case %d: ", i)
/// Constants
#define eps                     1e-9
#define PI                      acos(-1.0)  // 3.1415926535897932

int main()
{
    int n,m,k,x,cnt=0,eq,mx=0;
    cin>>n>>m>>k;
    loop(i,n){
        cin>>x;
        if(x>m)
            cnt++;
        if(x==m)
            eq++;
        if(x>mx)
            mx=x;
    }
    if(k==0){
        if(mx==m)
            cout<<"YES"<<endl;
        else
            cout<<"NO"<<endl;
        return 0;
    }
    if(k==cnt && eq>0){
        cout<<"YES"<<endl;
        return 0;
    }
    if(k>cnt){
        cout<<"YES"<<endl;
        return 0;
    }
    cout<<"NO"<<endl;
    return 0;
}