3 ms·See also https://mathoverflow.net/questions/101644/ https://mathoverflow.net/questions/101644/by jjgreen 3y agoSee also https://mathoverflow.net/questions/101644/ https://mathoverflow.net/questions/101644/