Definition:Strictly Decreasing Real Sequence