n = gets.to_i
ar = gets.split.map(&:to_i)
ans = []
ar.uniq.each do |i|
  j = 1
  while i * j <= n
    ans << i * j
    j += 1
  end
end
puts ans.uniq.size