nesbitの不等式って未解決の部分があるんじゃなかったっけ