Real sequence/Decreasing/Definition

Decreasing sequence

A real sequence is called decreasing, if holds for all .