Hm, they prove the existence of a K, but don't put any explicit bounds on it. So...

		Sniffnoy on April 26, 2022 \| parent \| context \| favorite \| on: Elegant six-page proof reveals the emergence of ra... Hm, they prove the existence of a K, but don't put any explicit bounds on it. Someone's going to have to proof-mine this one...