Пусть это неверно=> вес каких-то 2 гирек больше или равен весу каких-то 3, тогда допустим, что есть еще 2 гири разного веса. возьмем большую и положим к 2 гирькам, а меньшую к 3, тогда вес 3 гирек больше веса 4. противоречие. допустим, что нету гирек разного веса, тогда вес 3 гирек
равен весу 4. противоречие => вес любых 3 больше веса любых четырех