An等于n平方+kn+2 若AN大于等于a4恒成立