/*
dp[i]=0|1 表示前i是否可以被成功分组,
dp[i+1]能够变成1的三个条件
1:j∈[0,i-k]里存在dp[j]=1
2:dp[j]=1
3:a[i+1]-a[j+1]<=d
即可以把[j+1,i+1]分为一组,放在前j个之后
先进行排序,暴力的复杂度是o(n*n)
其实每次求dp[i]时,只要考虑区间[pos,i-k]的dp即可,pos为第一个比a[i]-d小的坐标再-1(为什么要-1,因为新的段是接在前面的段后面,所以其实是从a[i]-d的前面开始算起)
*/
#include<bits/stdc++.h>
using namespace std;
#define maxn 5000005
int d,dp[maxn],a[maxn],n,k;
int bit[maxn];
void update(int x,int v){
while(x<=n){
bit[x]+=v;
x+=(x&-x);
}
}
int query(int x){
int res=0;
while(x){
res+=bit[x];
x-=(x&-x);
}
return res;
}
int main(){
cin>>n>>k>>d;
for(int i=1;i<=n;i++)cin>>a[i];
sort(a+1,a+1+n);
for(int i=1;i<=n;i++){
if(i<k)dp[i]=0;
else if(a[i]-a[1]<=d)dp[i]=1;
else {
int pos=lower_bound(a+1,a+1+n,a[i]-d)-a-1;//这里要注意一下
dp[i]=(query(i-k)-query(pos-1))>0;
}
if(dp[i])update(i,1);
}
if(dp[n])puts("YES");
else puts("NO");
}