567 Nice And Hard Inequality.pdf