monotonic decreasing sequence

[ریاضیات] دنباله ی یکنوای نزولی