結果 : how to show something is a decreasing function