Showing a function always is decreasing.