Proving a cubic function is decreasing.