A technique for proving lower bounds for distributed maximum-finding algorithmsJ. PachlE. Korachet al.1982STOC 1982