567 nice and hard inequalities

  1. LTTK CTV