蓝桥杯-阶乘的和

"""
https://www.lanqiao.cn/problems/3527/learning/?page=1&first_category_id=1&name=%E9%98%B6%E4%B9%98%E7%9A%84%E5%92%8C
"""
"""
思路: 分治算法
考虑这个问题: 式: x! + y! + k!, (x < y < k)的最大公因数是否一定是x!。
假设不是x!, 而是y!, 则原式 = y!*(x!/y! + 1 + z!/y!), 而x < y, 那么
x!/y!为小数, 不符合要求, 所以y!一定不是最大公因数。最大公因数只能为x!。
继续观察样例: 2! + 2! + 2!的最大公因数为 3!,显然n * (x + 1) * x! = n * (x + 1)! 。
所以我们只需要不断往上更新最小的x!, 最后无法x!, 答案就是x。
比如: 2 2 2 2 3 3 3
初始: 2! + 2! + 2! + 2! + 3! + 3! + 3!
第一步转化: 2! + 3! + 3! + 3! + 3! ==>通过规律n * (x + 1) * x! = n * (x + 1)! 将3个2!转化为1个3!
第二步转化: 发现无法无法按照规律将1个2!转化为更大的3!, 则2就是最终的答案
"""
import os
import sys

n = int(input())
A = list(map(int, input().split()))
A.sort()

# d[i]记录i出现的次数
d = {}
for x in A:
  d[x] = d.get(x, 0) + 1

m = A[0]
while True:
  count = d[m]
  if count % (m + 1) == 0:
    # 比如m = 2, d[m] = 6
    # 就是说数字2出现了6次, 其阶乘和2! * 6 == 3! * (6 // 3)
    # 接着不断重复上述操作, 直至无法向上转化
    # 字典中最小的键就是结果
    d[m + 1] = d.get(m + 1, 0) + count // (m + 1)
    m = m + 1
  else:
    break
print(m)