Несколько ящиков вместе весят 10 тонн, причём каждый из них весит не более одной тонны. 
Сколько трёхтонок заведомо достаточно, чтобы увезти этот груз? 	
   Будем грузить машины ящиками в любом порядке, следя лишь за тем, чтобы не наступила "перегрузка" машины. В результате на каждую машину будет погружено более 2 т. Значит, пяти машин заведомо хватит.
   Четырёх машин может не хватить. Пусть, например, у нас есть 13 ящиков весом 10/13 т каждый. Тогда одна машина может увезти не более трёх таких ящиков (4 ящика весят больше 3 т), а все четыре машины увезут не более 12 ящиков.
5 трёхтонок. 
Задачи с неравенствами. Разбор случаев Процессы и операции Примеры и контрпримеры. Конструкции