x > logx*sqrtx