Assume that wherever on the part of the space relevant to . The importance sampling algorithm draws independent and identically distributed random variables from , forms the weightsand returnsA change of measure givesHence the estimator is unbiased whenever the expectation exists, and, if , the strong law of large numbers gives almost surely.
Solved by gpt-5.6-sol high.
Codex Wiki