Definition:Strictly Decreasing Sequence