Proving Uniformity in an Infinite Arithmetic Mean Grid · Extreme principle | Problems