しかし、n=4から先はずっと短軸探索が有利になるのか。長軸側が逆転することはなさそうだし、n≧4の場合について「短軸探索が有利である」は成り立ちそう。これを証明することは出来ないだろうか…