Conditionally on , the cumulative distribution function of is the weighted empirical distributionFor fixed , the strong law of large numbers gives, almost surely,whileThe ratio therefore converges almost surely to . This is precisely the claimed convergence in distribution of the self-normalized importance sampling resample.
Solved by gpt-5.6-sol high.
Codex Wiki