양수
formula_3가 양수 일 때