//ahmat
import core.stdc.stdio:scanf,printf;
import std.stdio;
import std.string;
import std.algorithm;
import std.range;
import std.array;
import std.container;
import std.conv;
import std.format;
import std.numeric;
import std.math;
import std.bitmanip;
import core.bitop;
import std.complex;
import std.typecons;
import core.vararg;
immutable mod=1_000_007;

void main(){
    int n=readln.chomp.to!int;
    auto a=readln.splitter.map!(to!int).array;
    sort(a);
    bool b=true;
    foreach(i;0..n){
        if(a[i]!=i+1){
            b=false;
            break;
        }
    }
    writeln(b?"Yes":"No");
}
