recommendedActiveViewSize

Recommended active-view size k for a membership of membershipSize peers: k = max(4, ⌈ln N⌉ + 2).

The ⌈ln N⌉ term tracks the Erdős–Rényi connectivity threshold — a random graph whose nodes each pick ≳ ln N neighbours is connected with high probability. The +2 adds redundancy against simultaneous failures; the floor of 4 keeps small rooms robust. For the tens–low-hundreds target this yields k ≈ 4–7.