양의
formula_9는 임의의 양의 실수이므로,