Это не годится -- это фактически одинаковые последовательности.
ТС проверяет утверждение «если

при

и

строго монотонно убывает, то монотонно убывает и

». Его следствие — «если

,

имеет свойство, определённое выше,

при

и

строго монотонно убывает, то монотонно убывает и

», и оно, очевидно, опровержимо конкретным примером
grizzly, так что опровержимо и исходное.