Def decreasing_sequence

Modification history