PAT 1060 爱丁顿数 (25分) (python 3)

英国天文学家爱丁顿很喜欢骑车。据说他为了炫耀自己的骑车功力，还定义了一个“爱丁顿数” E ，即满足有 E 天骑车超过 E 英里的最大整数 E。据说爱丁顿自己的 E 等于87。

现给定某人 N 天的骑车距离，请你算出对应的爱丁顿数 E（≤N）。
输入格式：
输入第一行给出一个正整数 N (≤10​5​​)，即连续骑车的天数；第二行给出 N 个非负整数，代表每天的骑车距离。
输出格式：
在一行中给出 N 天的爱丁顿数。
输入样例：
10
6 7 6 9 3 10 8 2 7 8
输出样例：
6

代码

n=int(input())
day=list(map(int,input().split()))
day=sorted(day,reverse=True)
# print(day)
if min(day)>n:
    print(n)
else:
    for i in range(n):
        # print(i+1,day[i])
        if day[i]<=i+1:
            print(i)
            break

碎碎念：
题目是真的绕，弄好久才弄明白题目的意思。
先将所给的距离进行降序排序，然后遍历，下标加一表示对应的天数，如果值小于下标则返回前一个下标
sample：
10
6 7 6 9 3 10 8 2 7 8
排序后：
10, 9, 8, 8, 7, 7, 6, 6, 3, 2
10（第1天骑行超过1km), 9(第2天骑行超过2km), 8(第2天骑行超过2km), 8(第3天骑行超过3km), 7(第4天骑行超过4km), 7(第5天骑行超过5km), 6(第6天骑行超过6km), 6(第7天骑行超过7km)此时不满足要求，则返回上一个满足要求的，所以输出为6
简言之：
如果第i+1天不满足骑行距离>天数，则输出 i (上一个满足情况的）