https://letuscrack.com/function-decreasingseqwithdecdiff-cts-pattern/