>>758
その仮説は逆側の範囲が証明されてないから
意外と狭いかもしれんよ