First Analytical Coverage Bounds of a Fully Specified Nested Sampling Algorithm | AMiner