Added explanation to 1-x inequality.