Definition:Decreasing Sequence