formula_7でformula_8、formula_9でformula_10というべき関数へと漸近する。