嚴格遞減函數