In the former case, the inequality of the definition holds with the constant C := 2.
前者の場合、定義における不等式は定数 C := 2 に対して成立する。