Solution (source code)

= Solution

Staticity requires $\rho_0+3p_0=0$, so $\rho_m=\Lambda/(4\pi)$. The first Friedmann equation then requires $k=1$ and $a_0=\Lambda^{-1/2}$.