>>310
lim が残るも残らないもない。lim というのは、この式において、
nは 1000 とか 10000とかいう大きな数だと言っているだけ。
(1/4) + (1/2)log n の nと、ともとの式にあった -(1/2)log n
の nは、同じ nなんだからキャンセルする。