厳漸減関数
【げんぜんげんかんすう】
【genzengenkansuu】
严格递减函数