Nested sampling posterior