Bessie the cow 是纸牌游戏的忠实粉丝，这很令人惊讶，因为她没有相对的拇指。不幸的是，牛群中的其他奶牛都不是好对手。事实上，他们是如此糟糕，以至于他们总是以完全可预测的方式进行比赛！尽管如此，对于贝西来说，弄清楚如何获胜仍然是一个挑战。

Bessie 和她的朋友 Elsie 目前正在玩一个简单的纸牌游戏，他们拿出一副 2N 卡，方便地编号为 1…2N，然后将它们分成 Bessie 的 N 卡和 Elsie 的 N 卡。然后两人玩 N 轮，在每一轮中，Bessie 和 Elsie 都打一张牌，拥有最高牌的玩家获得一分。

鉴于 Bessie 可以预测 Elsie 出牌的顺序，请确定 Bessie 可以赢得的最大点数。

输入格式（文件 highcard.in）：

输入的第一行包含 N 的值 (1≤N≤50,000)。接下来的 N 行包含 Elsie 将在每一轮连续游戏中玩的牌。请注意，根据这些信息很容易确定 Bessie 的牌。

输出格式（文件 highcard.out）：

输出一条线，给出 Bessie 可以得分的最大点数。

SAMPLE INPUT:

3
1
6
4

SAMPLE OUTPUT:

2

在这里，Bessie 的手上必须有 2、3 和 5 牌，她可以使用这些牌将 5 保存到最后以击败 Elsie 的 4，从而赢得最多 2 分。