劣加法関数
【れつかほうかんすう】
【retsukahoukansuu】
次加性函数