Thanks, I gather that the "approximate independence" assumption is used to justify the $()^n$ expression. Is there a way to make that argument more rigorous? I've googled "approximate independence", "almost independent", et cetera, but can't seem to find a body of literature that would help in justifying that.

Not homework, but I'm happy to post to stackexchange if that's the majority opinion.