Group Abstract Group Abstract

Message Boards Message Boards

0
|
5K Views
|
1 Reply
|
1 Total Like
View groups...
Share
Share this post:

Test this assertion correctly? (A rational approximation to $\pi$?)

Posted 7 years ago
POSTED BY: Brad Klee

I would avoid floating point exponents like .97 or .8 and do as much of the calculation with exact numbers as possible. If Mathematica is not wrong, Q seems to be .7934:

$MaxExtraPrecision = 10000;
{ Denominator[BigFrac]^(7934/10000) (Pi + BigFrac) > 1,
 Denominator[BigFrac]^(7945/10000) ( Pi + BigFrac) > 1}
POSTED BY: Gianluca Gorni
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard