>>931
どのくらいのレベルの不等式から取捨選択するかによって大きく異なりそう

長方形ABCDの辺AD,CD(頂点は除く)上にそれぞれ点P,Qをとる
PB+PQ<AB+AQ

a,b,cは自然数とする
2^(a+b)+2^(b+c)+2^(c+a)≧2^(a+b+c+1)+1