|a_k|\geq m