Да, такая последовательность существует. Например, последовательность (a_n = -\frac{1}{n}) является монотонно убывающей, но не является отрицательной бесконечно большой, так как значения элементов последовательности стремятся к нулю, но не превосходят нуля.