Не так уж все просто. Если последовательность ->+00, то она не обязана быть монотонно возрастающей, но таковую подпоследовательность всегда можно из нее выделить неким процессом, про который я намекал.