WHERE 시점에는 회원 그룹과 합계가 아직 없으므로 집계 함수를 사용할 수 없습니다.
그룹 생성 전 집계 참조 → Invalid use
행 필터 뒤 그룹 합계를 판정
핵심: 원본 행 조건은 먼저 줄이고 그룹을 만든 뒤 계산된 집계 조건만 HAVING에 둡니다.