def main():
    _ = int(input())
    arr = list(map(int, input().split()))

    ans = 0
    for x in arr:
        if x - 1 not in arr:
            ans += x
    print(ans)


if __name__ == "__main__":
    main()