y≦aの時\(y^{3}\)≦bが成り立つから　\(y^{3}\)≦\(a^{3}\)の時\(y^{3}\)≦bが成り立つ。よって\(a^{3}\)≦bである。
x+y≦kのとき\(x^{3}\)+\(y^{3}\)≦kが成り立つからx+y=kの時も\(x^{3}\)+\(y^{3}\)=kが成り立つので、
y=k-xを代入すると\(x^{3}\)+(k-x\()^{3}\)-k≦0となる。展開すると3k\(x^{2}\)-3\(k^{2}\)x+\(k^{3}\)-k≦0
となり、これが恒常的に成り立つには　k≦0、判別式≦0でないといけないので,
判別式=3\(k^{2}\)(4-\(k^{2}\))≦0とk≦0より
k≦-2となります。