See this for a crisp, simple formalization which appears to show where the ambiguity between 1⁄2 and 1⁄3 comes from.
See this for a crisp, simple formalization which appears to show where the ambiguity between 1⁄2 and 1⁄3 comes from.