lim[x→∞]log(x-1)/logx=1は自明として良いのでしょうか？