結果 : how to prove a function is decreasing