Search: inequalities for {15, 16, 17, 21}