monotonically decreasing sequence