というか上限解放自体はすでに解析で判明してなかったか?