Solving $3^n fracpi^n/2(n/2)!(1+e^-pi) 2^-frac3n2 le 2^-n/2+8$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite
1












Is it possible to solve the following inequality explicitly? Or at least proving it with some method?
$$3^n fracpi^n/2(n/2)!(1+e^-pi) 2^-frac3n2 le 2^-n/2+8$$
For $n in mathbbN$.



I am reading a research paper where they leave this up to the reader and I couldn't find a way to separate the variables, or even with Stirling's approximation. Also taking the derivative of the function results in a mess.



Graphing the functions makes the inequality seem plausible (the dots are $f(a)$, and the dashes are $f(b))$:



enter image description here







share|cite|improve this question





















  • How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
    – phandaman
    Jul 31 at 0:45










  • This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
    – Maximus
    Jul 31 at 0:48















up vote
4
down vote

favorite
1












Is it possible to solve the following inequality explicitly? Or at least proving it with some method?
$$3^n fracpi^n/2(n/2)!(1+e^-pi) 2^-frac3n2 le 2^-n/2+8$$
For $n in mathbbN$.



I am reading a research paper where they leave this up to the reader and I couldn't find a way to separate the variables, or even with Stirling's approximation. Also taking the derivative of the function results in a mess.



Graphing the functions makes the inequality seem plausible (the dots are $f(a)$, and the dashes are $f(b))$:



enter image description here







share|cite|improve this question





















  • How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
    – phandaman
    Jul 31 at 0:45










  • This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
    – Maximus
    Jul 31 at 0:48













up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





Is it possible to solve the following inequality explicitly? Or at least proving it with some method?
$$3^n fracpi^n/2(n/2)!(1+e^-pi) 2^-frac3n2 le 2^-n/2+8$$
For $n in mathbbN$.



I am reading a research paper where they leave this up to the reader and I couldn't find a way to separate the variables, or even with Stirling's approximation. Also taking the derivative of the function results in a mess.



Graphing the functions makes the inequality seem plausible (the dots are $f(a)$, and the dashes are $f(b))$:



enter image description here







share|cite|improve this question













Is it possible to solve the following inequality explicitly? Or at least proving it with some method?
$$3^n fracpi^n/2(n/2)!(1+e^-pi) 2^-frac3n2 le 2^-n/2+8$$
For $n in mathbbN$.



I am reading a research paper where they leave this up to the reader and I couldn't find a way to separate the variables, or even with Stirling's approximation. Also taking the derivative of the function results in a mess.



Graphing the functions makes the inequality seem plausible (the dots are $f(a)$, and the dashes are $f(b))$:



enter image description here









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 31 at 0:27
























asked Jul 31 at 0:22









Maximus

13719




13719











  • How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
    – phandaman
    Jul 31 at 0:45










  • This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
    – Maximus
    Jul 31 at 0:48

















  • How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
    – phandaman
    Jul 31 at 0:45










  • This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
    – Maximus
    Jul 31 at 0:48
















How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
– phandaman
Jul 31 at 0:45




How about showing that $lim_nrightarrowinfty fracf(n)g(n)=0$
– phandaman
Jul 31 at 0:45












This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
– Maximus
Jul 31 at 0:48





This has to be true for all $n in mathbbN$. I'm not exactly sure how the end behavior would impact the solution?
– Maximus
Jul 31 at 0:48











1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










Hint: Your inequality is equivalent to: $$dfracpi^n/2(n/2)!(1+e^-pi)leq 256left(frac23right)^n$$
or $$f(n) = dfrac(2.25cdotpi)^n/2(n/2)!leqdfrac2561+e^-pi=245.395...$$



Now, you can simply observe that the LHS is eventually decreasing eventually because a factorial is increasing more rapidly than an exponent. This means there is a single, global maximum at some $n = k$, where it has to satisfy the inequalities: $$f(k-1)<f(k)$$ and $$f(k)>f(k+1).$$



If you solve these inequalities, then you can easily find that $k = 14$, which gives the maximum of $f(k) = 174.943.$






share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867533%2fsolving-3n-frac-pin-2n-21e-pi-2-frac3n2-le-2-n-2%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote



    accepted










    Hint: Your inequality is equivalent to: $$dfracpi^n/2(n/2)!(1+e^-pi)leq 256left(frac23right)^n$$
    or $$f(n) = dfrac(2.25cdotpi)^n/2(n/2)!leqdfrac2561+e^-pi=245.395...$$



    Now, you can simply observe that the LHS is eventually decreasing eventually because a factorial is increasing more rapidly than an exponent. This means there is a single, global maximum at some $n = k$, where it has to satisfy the inequalities: $$f(k-1)<f(k)$$ and $$f(k)>f(k+1).$$



    If you solve these inequalities, then you can easily find that $k = 14$, which gives the maximum of $f(k) = 174.943.$






    share|cite|improve this answer

























      up vote
      0
      down vote



      accepted










      Hint: Your inequality is equivalent to: $$dfracpi^n/2(n/2)!(1+e^-pi)leq 256left(frac23right)^n$$
      or $$f(n) = dfrac(2.25cdotpi)^n/2(n/2)!leqdfrac2561+e^-pi=245.395...$$



      Now, you can simply observe that the LHS is eventually decreasing eventually because a factorial is increasing more rapidly than an exponent. This means there is a single, global maximum at some $n = k$, where it has to satisfy the inequalities: $$f(k-1)<f(k)$$ and $$f(k)>f(k+1).$$



      If you solve these inequalities, then you can easily find that $k = 14$, which gives the maximum of $f(k) = 174.943.$






      share|cite|improve this answer























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        Hint: Your inequality is equivalent to: $$dfracpi^n/2(n/2)!(1+e^-pi)leq 256left(frac23right)^n$$
        or $$f(n) = dfrac(2.25cdotpi)^n/2(n/2)!leqdfrac2561+e^-pi=245.395...$$



        Now, you can simply observe that the LHS is eventually decreasing eventually because a factorial is increasing more rapidly than an exponent. This means there is a single, global maximum at some $n = k$, where it has to satisfy the inequalities: $$f(k-1)<f(k)$$ and $$f(k)>f(k+1).$$



        If you solve these inequalities, then you can easily find that $k = 14$, which gives the maximum of $f(k) = 174.943.$






        share|cite|improve this answer













        Hint: Your inequality is equivalent to: $$dfracpi^n/2(n/2)!(1+e^-pi)leq 256left(frac23right)^n$$
        or $$f(n) = dfrac(2.25cdotpi)^n/2(n/2)!leqdfrac2561+e^-pi=245.395...$$



        Now, you can simply observe that the LHS is eventually decreasing eventually because a factorial is increasing more rapidly than an exponent. This means there is a single, global maximum at some $n = k$, where it has to satisfy the inequalities: $$f(k-1)<f(k)$$ and $$f(k)>f(k+1).$$



        If you solve these inequalities, then you can easily find that $k = 14$, which gives the maximum of $f(k) = 174.943.$







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 31 at 4:09









        dezdichado

        5,4591826




        5,4591826






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867533%2fsolving-3n-frac-pin-2n-21e-pi-2-frac3n2-le-2-n-2%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?