>>292
-1/√x < logx < √x を証明してからはさみうち。