Notes for LD15 Kuno-1/0:34:32

From Drorbn
Jump to: navigation, search

Proof of $\tau(t_C) = L(C) = \left|\frac12(\log x)^2\right|$.