В целях экономии средств Метрострой нанял 2 землекопов для рытья туннеля. Один из них может за час прокопать вдвое больше, чем другой, а платя по договору каждому одинаково за каждый час работы. Что обойдётся дешевле совместное рытьё землекопами туннеля с двух сторон до встречи или поочерёдной рытьё по половине туннеля каждым из землекопов?