Nested Sampling’s Convergence