ここでは下極限を表す。