WolframAlpha has suggested the expression 8*sqrt(2)-9 based on my approximation, and it seems accurate to 10 digits, so I'll use it. I have no idea where the expression comes from, though.
Post a reply to this message