If equally informative independent draws have variance , an ordinary mean of draws has variance . The weighted mean has the corresponding variance . Equating them gives the effective sample size of importance sampling
where the inequality follows from Cauchy-Schwarz inequality.