#include<bits/stdc++.h>
using namespace std;
#define FR0(i,N) for(i=0;i<(N);i++)
#define FR1(i,N) for(i=1;i<=(N);i++)
#define FRN(i,k,N) for(i=k;i<(N);i++)
#define pf printf
#define db double
#define max3(a,b,c) max(max(a,b),c)
#define min3(a,b,c) min(min(a,b),c)
#define sci(n) scanf("%d",&n)
#define scl(n) scanf("%lld",&n)
#define scf(n) scanf("%f",&n)
#define scd(n) scanf("%lf",&n)
#define scs(s) scanf("%s",&s)
#define scll(n) scanf("%%I64d",&n)
#define PI acos(-1.0)
#define LL long long
#define MX 1000005
#define MOD 1000000007
typedef long long int ll;
bool status[1100002];
int main()
{
int n,arr[1001];
while(cin>>n)
{
for(int i=0;i<n;i++)
{
cin>>arr[i];
}
sort(arr,arr+n);
unique(arr,arr+n);
/*for(int i=0;i<n;i++)
{
cout<<arr[i]<<endl;
}*/
for(int j=0;j<=n-2;j++)
{
if(arr[j]==arr[j+1]-1 && arr[j+1]+1==arr[j+2])
{
cout<<"YES"<<endl;
return 0;
}
}
cout<<"NO"<<endl;
}
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBGUjAoaSxOKSBmb3IoaT0wO2k8KE4pO2krKykKI2RlZmluZSBGUjEoaSxOKSBmb3IoaT0xO2k8PShOKTtpKyspCiNkZWZpbmUgRlJOKGksayxOKSBmb3IoaT1rO2k8KE4pO2krKykKI2RlZmluZSBwZiBwcmludGYKI2RlZmluZSBkYiBkb3VibGUKI2RlZmluZSBtYXgzKGEsYixjKSBtYXgobWF4KGEsYiksYykKI2RlZmluZSBtaW4zKGEsYixjKSBtaW4obWluKGEsYiksYykKI2RlZmluZSBzY2kobikgc2NhbmYoIiVkIiwmbikKI2RlZmluZSBzY2wobikgc2NhbmYoIiVsbGQiLCZuKQojZGVmaW5lIHNjZihuKSBzY2FuZigiJWYiLCZuKQojZGVmaW5lIHNjZChuKSBzY2FuZigiJWxmIiwmbikKI2RlZmluZSBzY3Mocykgc2NhbmYoIiVzIiwmcykKI2RlZmluZSBzY2xsKG4pIHNjYW5mKCIlJUk2NGQiLCZuKQojZGVmaW5lIFBJIGFjb3MoLTEuMCkKI2RlZmluZSBMTCBsb25nIGxvbmcKI2RlZmluZSBNWCAxMDAwMDA1CiNkZWZpbmUgTU9EIDEwMDAwMDAwMDcKdHlwZWRlZiBsb25nIGxvbmcgaW50IGxsOwpib29sIHN0YXR1c1sxMTAwMDAyXTsKCmludCBtYWluKCkKewogaW50IG4sYXJyWzEwMDFdOwogd2hpbGUoY2luPj5uKQogewogICAgIGZvcihpbnQgaT0wO2k8bjtpKyspCiAgICAgewogICAgICAgICBjaW4+PmFycltpXTsKICAgICB9CiAgICAgc29ydChhcnIsYXJyK24pOwogICAgIHVuaXF1ZShhcnIsYXJyK24pOwogICAgIC8qZm9yKGludCBpPTA7aTxuO2krKykKICAgICB7CiAgICAgICAgIGNvdXQ8PGFycltpXTw8ZW5kbDsKICAgICB9Ki8KICAgICBmb3IoaW50IGo9MDtqPD1uLTI7aisrKQogICAgewogICAgICAgIGlmKGFycltqXT09YXJyW2orMV0tMSAmJiBhcnJbaisxXSsxPT1hcnJbaisyXSkKICAgICAgICB7CiAgICAgICAgICAgIGNvdXQ8PCJZRVMiPDxlbmRsOwogICAgICAgICAgICByZXR1cm4gMDsKICAgICAgICB9CiAgICB9CiAgICBjb3V0PDwiTk8iPDxlbmRsOwoKIH0KfQ==