>>430
b>aのすべての整数に対してf(b) > g(b)であることを、
計算によって示すアルゴリズムはありますすか?