11
$\begingroup$

I would like to use mathematical tools to prove that $$9.9998\lt \frac{\pi^9}{e^8}\lt 10$$

With an on-line calculator I got

$$ \frac{\pi^9}{e^8}\approx 9.9998387978$$ But I do not know any good way to prove this. I failed to use Taylor expansion $$e^8 =\sum_{n=0}^{\infty}\frac{8^n}{n!}$$

Any idea?

$\endgroup$
  • $\begingroup$ Well, it looks like taking natural logs helps. You want $\ln(9.9998)<9\ln (\pi)-8<\ln (10)$. Still numerical. $\endgroup$ – lulu Oct 25 '17 at 16:01
  • $\begingroup$ It's looks nicer to proof $\,2980909<100 \cdot \pi^9<2980910\,$ and $\,298095<100 \cdot e^8<298096\,$ . :-) $\endgroup$ – user90369 Oct 25 '17 at 16:37
  • 3
    $\begingroup$ That's funny. How did you discover such inequality? $\endgroup$ – Jack D'Aurizio Oct 25 '17 at 16:42
  • 2
    $\begingroup$ @GuyFsone: nbubis' answer to the linked question has a structure that is similar to my answer here. The point is that the constant $e^{\pi}$ appears in the context of j-invariants and modular forms, hence it can be computed through fast-convergent numerical algorithms, recalling the AGM mean for the computation of complete elliptic integrals of the first kind. nbubis' answer is very satisfactory by my point of view, but I will take some time to think about an alternative approach. I am not sure to be able to do better. $\endgroup$ – Jack D'Aurizio Oct 25 '17 at 18:09
  • 4
    $\begingroup$ Guy: Please stop making very trivial edits to get you post bumped to the front page. This example here, among many others: indicate very inappropriate behavior. $\endgroup$ – Namaste Nov 3 '17 at 18:30
19
$\begingroup$

My approach can be summarized as follows:

  1. By a well-known fact about Euler numbers, $\pi^9$ is given by a rational multiple of the fast-converging series $\sum_{n\geq 0}\frac{(-1)^n}{(2n+1)^9}$;
  2. By the generalized continued fraction for the hyperbolic cotangent function, it is pretty simple to produce accurate rational approximations of $e^8$;
  3. The given inequality can be proved by producing accurate rational approximations for both $\pi^9$ and $e^8$ through the previous points, then by comparing them.

  1. $$\pi^9 = \frac{203325460470370265464832}{6820919298826171875}\pm 7\cdot 10^{-5} $$
  2. $$ e^8 = \frac{6456755}{2166}\pm 4\cdot 10^{-8}$$
  3. Done.
$\endgroup$
  • 5
    $\begingroup$ Amazing! $(+1)^\infty$ $\endgroup$ – hypergeometric Oct 25 '17 at 17:09
  • 1
    $\begingroup$ I wish everything was as simple as "1,2,3,done" for me (like it is for you). +1 $\endgroup$ – Paramanand Singh Oct 26 '17 at 4:01
  • $\begingroup$ @hypergeometric: $+500>(+1)^\infty$. One can do it by start a bounty. $\endgroup$ – Jack Nov 5 '17 at 2:23
  • $\begingroup$ Any idea here math.stackexchange.com/questions/2643216/… $\endgroup$ – Guy Fsone Feb 13 '18 at 11:51
  • $\begingroup$ @Jack can one we give a bounty on a solved question? $\endgroup$ – Guy Fsone Feb 13 '18 at 14:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.