
$\ln(K) = \frac{1}{\ln 2}\int_0^1
\frac{\ln({\rm frac}(1/x))}{1+x}\,dx$
