nが自然数でa≧b≧0のとき
a^n-b^n≧0は自明なものとして使っていい？