כיצד להוכיח את הממוצע האריתמטי-גיאומטרי בעזרת הלמה של קנטור?