Comment by scotty79

I think we are basing it on what we know about root 2. That it's larger than one and less than 2.