First, we construct an example for N=4. Let X1,X2,X3,X4 be pairwise disjoint sets such that X1=∅,∣X2∣=1,∣X3∣=2, and ∣X4∣=2. It is straightforward to verify the condition. We claim that there are no five sets X1,X2,…,X5 for which #\left(X_{a} \cup X_{b} \cup X_{c}\right)=\lceil\sqrt{a b c}\rceil, for 1≤a<b<c≤5. Note that showing the non-existence of five such sets implies that there are no n sets with the desired property for n≥5 as well. Suppose, for sake of contradiction, that there are such X1,…,X5. Then, note that ∣X1∪X2∪X4∣=3, ∣X1∪X2∪X5∣=4, and ∣X2∪X4∪X5∣=7. Note that ∣X1∪X2∪X4∣+∣X1∪X2∪X5∣=∣X2∪X4∪X5∣. For any sets A,B,C,D, we have the following two inequalities: ∣A∪B∪C∣+∣A∪B∪D∣≥∣A∪B∪C∪D∣≥∣B∪C∪D∣. For A=X1,B=X2,C=X4, and D=X5 in the situation above, we conclude that the equalities must both hold in both inequalities. The first equality shows that X1∪X2=∅, and therefore both X1 and X2 are empty. Now observe that ∣X1∪X4∪X5∣=5=7=∣X2∪X4∪X5∣. This gives a contradiction.