>>395
よく分からんが、接線法とでも言うんじゃないか？
y=x^3-xと(1,0)　で接する　y=(p/x)+q　型　の曲線を探すとy=(-2/x)+2が見つかる
y=x^3-x　は共通接線の上、y=(-2/x)+2　は共通接線の下なので　x>0　では
x^3-x　≧(-2/x)+2　がいえ、あとは、あの通り。