結果 : how to prove fx is a decreasing function