양수
주어진 전제 하에 일반성을 잃지 않고 formula_10이 임의의 양수 formula_3에 대해 성립한다고 하자. 부분합