monotonicity of sequences