>>193
ちょい訂正。
このままだと
p(n+1)/(n+1)+O(1/n)が1を超えるnが無限にある事を否定できてない。
a=1のときは別扱いする事にして

n!x = integer + p(n+1)/(n+1) + O(1/n)
となる。
p(n+1)/(n+1)+O(1/n)≧1であるnが無数にあるときはa=1になるから有限個を除いてp(n+1)/(n+1) + O(1/n)<1である。
{n!x} = p(n+1)/(n+1) + O(1/n)
を得る。

に訂正。