That's true. However, it is also easy to estimate that sum rather than calculati...

		vog on Aug 7, 2015 \| parent \| context \| favorite \| on: The Easiest Hard Problem (2002) That's true. However, it is also easy to estimate that sum rather than calculating it exactly, so I adjusted my proof accordingly.