How many models to hit a variance target?

Each model prediction has variance $\sigma^2 = 100$ and pairwise correlation $\rho = 0.3$. You want the averaged prediction's variance to be at most 40.

What is the smallest number of models $B$ that achieves this?