0.a_1…a_{mn} は1以下の有限な値を取る