Hi all, I have a problem when I want to do conjunction on a union without overflow. My problem is:

(1) let ans = empty

(2) for i from 1 to n do:

How to prove that

?

Edit: now I can prove it:D give me downvote if you are too stupid to solve this problem:D