NNN個の整数の平均値は(A1+A2+⋯+AN)/N(A_1+A_2+\cdots+A_N)/N(A1+A2+⋯+AN)/Nです。この値がKKK以上であれば条件を満たします。 そのまま比較すると誤差が出る可能性があるので、なるべく整数の範囲で比較したいです。式変形によって、条件と同値な不等式A1+A2+⋯+AN≥NKA_1+A_2+\cdots+A_N \ge NKA1+A2+⋯+AN≥NKを得るので、これを判定すると良いです。