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

From Drorbn
Revision as of 14:30, 26 October 2015 by Drorbn (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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