Yeah but you also have to replace all (2\*tau/2) with tau, and 4\*(tau/2)^2 with...

		saulpw 14 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Yeah but you also have to replace all (2tau/2) with tau, and 4(tau/2)^2 with tau^2, etc etc...