k₁ = −log(r) Estimator: Unbiased but High Variance

Sampling x ~ q = N(0,1), computing r = p(x)/q(x) where p = N(μp,1). The red shaded region shows where k₁ < 0 (r > 1) — roughly half the samples fall here, causing high variance.