"Yes, but the difference bet..."

https://arbital.com/p/3lt

by Alexei Andreev May 14 2016


Yes, but the difference between reals and positive reals isn't that big. However, I might be confused on this whole topic (see the other comment I tagged you in).