测试点 #13 中有 $a_i$ 为 $0$ 的，数据范围保证其大于 $1$。