#include <bits/stdc++.h>
using namespace std;
const double PI = acos(-1.0);
int gcd(int a, int b) {
  if (b == 0)
    return a;
  else
    return gcd(b, a % b);
}
int fact(int n) {
  if (n == 0) return 1;
  return n * fact(n - 1);
}
string t_string(long long x) {
  stringstream stringstream;
  stringstream << x;
  string y;
  stringstream >> y;
  return y;
}
bool cmp(pair<pair<int, string>, int> i, pair<pair<int, string>, int> j) {
  if (i.first.first > j.first.first) return 1;
  return 0;
}
void fast() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
}
long long isprime(int f) {
  if (f % 2 == 0 && f != 2 || f == 1) return 0;
  for (int i = 2; i * i <= f; i++) {
    if (f % i == 0) return 0;
  }
  return 1;
}
bool myfun(int i) { return i == 0; }
set<int> st;
map<string, string> mp;
vector<int> v;
vector<int> v2;
int main() {
  fast();
  int x, arr[100];
  int n;
  cin >> n;
  for (int i = 0; i < n; i++) cin >> x, st.insert(x);
  set<int>::iterator t = st.begin();
  for (int i = 0; i < st.size(); i++) {
    arr[i] = *t;
    t++;
  }
  for (int i = 0; i < int(st.size() - 2); i++)
    if (arr[i] + 1 == arr[i + 1] && (arr[i] + 2 == arr[i + 2])) {
      cout << "YES";
      return 0;
    }
  cout << "NO" << endl;
  return 0;
}
