AtCoder Beginner Contest 156 C Rally 一阵紧张 暴力枚举/算术平均值 理论证明