Definition:Decreasing Real Sequence