Four-dimensional logarithmic-correction conjecture. The accurate upper-bound scale for the length of LLL is