嚴格遞增函數