N = gets.to_i
A = gets.split.map(&:to_i).sort
C = A.tally

ans = 0
mixed = Hash.new(0)

A.each do |a|
  ans += 1

  if C[a - 1]
    mixed[a + 1] += 1
    ans += 1
  end

  if mixed[a - 1] > 0
    mixed[a + 1] += mixed[a - 1]
    ans += mixed[a - 1]
  end
end

puts ans