Prove that $int _0^4:f_n(x),dx < 4^n+1$ where $f_n(x)= left(4x-x^2right)^n$ML-inequality for real integrals$intfracsinleft(xright)cosleft(xright),mathrmdx$ by substitutionShow that $int^infty_0left(fracsin(x)xright)^2 < 2$Evaluating: $int 3xsinleft(frac x4right) , dx$.Prove that $fin L^1left(Omegaright)$ and $lim_nrightarrowinftyint(left|f_nright|-left|f_n-fright|)=intleft|fright| $.If $int _1^infty fleft(xright)dx$ converges absolutely then $int _1^infty sin left(xright)fleft(xright)dx$ existsProve that $int |f_n - f|^p = 0$Does $int _1^infty left(arctanleft(e^xright)-fracpi 2:right):dx$ converge?How is $intcosleft((omega_1-omega_2)t-phiright);dt + intcosleft((omega_1+omega_2)t+phiright);dt $ equal to zero?Find $intfracdxpleft(e^xright)$ where $p$ is a polynomialDoes $f_nto0$ pointwise + $f_n$ integrable + $f_n$ uniformly bounded imply $int f_nto 0$?

How much steel armor can you wear and still be able to swim?

Is there a polite way to ask about one's ethnicity?

I calculated that we should be able to see the sun well beyond the observable universe. Where did I go wrong?

How is linear momentum conserved in circular motion?

What kind of chart is this?

Why is Havana covered in 5-digit numbers in Our Man in Havana?

Examples of protocols that are insecure when run concurrently

How Hebrew Vowels Work

What is the maximum that Player 1 can win?

Can a character learn spells from someone else's spellbook and then sell it?

How would you explain this difference in pointer to members of base and derived class using standard quotes?

How can I improve my violin intonation for enharmonic notes?

What does this Swiss black on yellow rectangular traffic sign with a symbol looking like a dart mean?

Synaptic Static - when to roll the d6?

What is the highest power supply a Raspberry pi 3 B can handle without getting damaged?

Do details of my undergraduate title matter?

Scaling an object to change its key

How are で and いう being used in this context?

Can the pre-order traversal of two different trees be the same even though they are different?

Are there any individual aliens that have gained superpowers in the Marvel universe?

Explicit song lyrics checker

Is the author of the Shu"t HaRidvaz the same one as the one known to be the rebbe of the Ariza"l?

I have found ports on my Samsung smart tv running a display service. What can I do with it?

How can the US president give an order to a civilian?



Prove that $int _0^4:f_n(x),dx


ML-inequality for real integrals$intfracsinleft(xright)cosleft(xright),mathrmdx$ by substitutionShow that $int^infty_0left(fracsin(x)xright)^2 < 2$Evaluating: $int 3xsinleft(frac x4right) , dx$.Prove that $fin L^1left(Omegaright)$ and $lim_nrightarrowinftyint(left|f_nright|-left|f_n-fright|)=intleft|fright| $.If $int _1^infty fleft(xright)dx$ converges absolutely then $int _1^infty sin left(xright)fleft(xright)dx$ existsProve that $int |f_n - f|^p = 0$Does $int _1^infty left(arctanleft(e^xright)-fracpi 2:right):dx$ converge?How is $intcosleft((omega_1-omega_2)t-phiright);dt + intcosleft((omega_1+omega_2)t+phiright);dt $ equal to zero?Find $intfracdxpleft(e^xright)$ where $p$ is a polynomialDoes $f_nto0$ pointwise + $f_n$ integrable + $f_n$ uniformly bounded imply $int f_nto 0$?













4












$begingroup$


$ f_n(x) = left(4x-x^2right)^n$



I'm trying to prove that $int _0^4:f_n(x),dx < 4^n+1$



When I'm doing a general integral to $n > 1$, I'm getting an expression that equals to zero when $X = 4$ or $X = 0$.



This is the expression:



$$fracleft(4x-x^2right)^n+1(4-2X)(n+1) $$



What am I missing? Because it doesn't make sense that every integral with $n > 1$ is equal to zero










share|cite|improve this question











$endgroup$
















    4












    $begingroup$


    $ f_n(x) = left(4x-x^2right)^n$



    I'm trying to prove that $int _0^4:f_n(x),dx < 4^n+1$



    When I'm doing a general integral to $n > 1$, I'm getting an expression that equals to zero when $X = 4$ or $X = 0$.



    This is the expression:



    $$fracleft(4x-x^2right)^n+1(4-2X)(n+1) $$



    What am I missing? Because it doesn't make sense that every integral with $n > 1$ is equal to zero










    share|cite|improve this question











    $endgroup$














      4












      4








      4


      1



      $begingroup$


      $ f_n(x) = left(4x-x^2right)^n$



      I'm trying to prove that $int _0^4:f_n(x),dx < 4^n+1$



      When I'm doing a general integral to $n > 1$, I'm getting an expression that equals to zero when $X = 4$ or $X = 0$.



      This is the expression:



      $$fracleft(4x-x^2right)^n+1(4-2X)(n+1) $$



      What am I missing? Because it doesn't make sense that every integral with $n > 1$ is equal to zero










      share|cite|improve this question











      $endgroup$




      $ f_n(x) = left(4x-x^2right)^n$



      I'm trying to prove that $int _0^4:f_n(x),dx < 4^n+1$



      When I'm doing a general integral to $n > 1$, I'm getting an expression that equals to zero when $X = 4$ or $X = 0$.



      This is the expression:



      $$fracleft(4x-x^2right)^n+1(4-2X)(n+1) $$



      What am I missing? Because it doesn't make sense that every integral with $n > 1$ is equal to zero







      real-analysis integration analysis






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jun 2 at 11:38









      C_M

      1,5281627




      1,5281627










      asked Jun 1 at 19:19









      DanielDaniel

      233




      233




















          5 Answers
          5






          active

          oldest

          votes


















          6












          $begingroup$

          Hint:



          $4x-x^2$ is a quadratic polynomial , with a negative leading coefficient. Furthermore, it vanishes for $x=0$ and $x=4$. Can you find it (absolute) maximum?



          Once you've found this maximum, you can use the mean value inequality for integrals.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
            $endgroup$
            – Wesley Strik
            Jun 1 at 19:45



















          4












          $begingroup$

          You cannot just blindly apply the reverse power rule. Remember the chain rule? You have a function within another function.



          Consider the case when n=2



          $ int_0^4 (4x + x^2)^2 dx = int_0^4 16x^2 + 8x^3 + x^4 dx$






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Would it be better for him to use the binomial expansion, you think?
            $endgroup$
            – Wesley Strik
            Jun 1 at 19:34






          • 1




            $begingroup$
            That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
            $endgroup$
            – agentnola
            Jun 1 at 19:35


















          2












          $begingroup$

          If you let $I_n = int_0^4 (4x-x^2)^ndx$ for every positive integer $n$, you can even find a recurrence relation for this sequence using integration by parts:



          $$I_n = int_0^4 (4x-x^2)^n dx = int_0^4 (4x-x^2)^n cdot (x-2)'dx = cdots = -2nI_n + 8n I_n-1.$$



          Using this you can easily solve your question using induction.






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
            $endgroup$
            – Wesley Strik
            Jun 2 at 11:46







          • 1




            $begingroup$
            Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
            $endgroup$
            – Wesley Strik
            Jun 2 at 11:49


















          2












          $begingroup$

          Below is a suggestion for a very tedious route, but I wanted to post it anyway. This is probably not how the question is meant to be done.



          Observe how by the binomial theorem we have that:
          $$I=int _x=0^4:f_n(x),dx =int _x=0^4: (4x-x^2 )^n,dx =int _x=0^4: sum_k=0^n binomnk (4x)^k cdot (-x^2)^n-k,dx$$
          We make this look a bit prettier:
          $$I=int _x=0^4: sum_k=0^n binomnk 4^k cdot (-1)^n-kx^2n-k,dx$$



          We may switch the order of integration and summation since this concerns polynomials (what I mean is that they are of finite order), we compute:
          $$I=sum_k=0^n binomnk frac12n-k+1 4^k cdot (-1)^n-k4^2n-k+1-0$$
          We collect some terms:
          $$I=sum_k=0^n binomnk frac12n-k+1 4^2n+1 cdot (-1)^n-k$$
          Using combinatorial formulae and some help from Wolfram Alpha, this can be exactly computed to be:
          $$ I =fracsqrt pi cdot n! cdot 2^2n+1(n+frac12)!=fracsqrt pi cdot n!(n+frac12)! cdot 4^n + frac12$$
          We then need to prove by induction that $fracsqrt pi cdot n!(n+frac12)! > sqrt4$ for positive $n$.



          Yes. This is a lot of hard work. You could also just take the approach that was posted by Bernard and observe that $4x-x^2$ has a global maximum on the interval $[0,4]$ (the begin and endpoint are zeros of this polynomial), this maximum by symmetry occurs at $x=2$. The function has maximum value $8-4=4$. Observe then by the estimation lemma that $M =max_x in [0,4]((4x-x^2)^n)=4^n$, and the length of our path is $4$. We get:
          $$ int _x=0^4 f_n dx leq M L = 4^n cdot 4 = 4^n+1 $$



          Also see: ML-inequality for real integrals



          Or alternatively, if you don't like applying this theorem, we see that the $f_n$ is continuous as it is a polynomial, it is bounded on $[0,4]$ , thus by the mean value theorem for integrals there must exist a $xi in [0,4]$ such that:
          $$ (4-0) cdot f_n(xi) =int _x=0^4:f_n(x),dx$$
          $$ int _x=0^4:f_n(x),dx = 4 f_n(xi) $$
          However, observe that $f_n(xi) leq 4^n$ for all $n in mathbb N$ thus:
          $$ int _x=0^4:f_n(x),dx leq 4 cdot 4^n = 4^n+1 $$






          share|cite|improve this answer











          $endgroup$




















            0












            $begingroup$

            Here is a nice solution without using the binomial expansion.



            $$int_0^4 (4x -x^2)^ndx < 4^n+1$$



            If we let n=0, the integral resolves to 0 which is less than 4. So our base case is covered.



            Now assume there exists a $k$ such that



            $$int_0^4 (4x -x^2)^kdx < 4^k+1$$



            Holds.



            Now we need to prove this inequality holds for the $k+1$.



            $$int_0^4 (4x -x^2)^k+1dx = int_0^4 (4x -x^2)^k (4x - x^2)dx $$



            If we apply integration by parts and let $u= 4x -x^2$ and $dv = (4x - x^2)^k$ we get



            $$(4x - x^2) int (4x -x^2)^kdx - (4 - 2x)int(4x -x^2)^kdx $$



            We let our bounds go from 0 to 4 and we get the following



            $$0 int_0^4 (4x -x^2)^kdx + 4 int_0^4 (4x -x^2)^k$$



            We know that $int_0^4 (4x -x^2)^kdx < 4^k+1$ therefore we can conclude



            $$4int_0^4 (4x -x^2)^kdx < 4^k+2$$






            share|cite|improve this answer









            $endgroup$













              Your Answer








              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',
              autoActivateHeartbeat: false,
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader:
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              ,
              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%2f3247910%2fprove-that-int-04-f-nx-dx-4n1-where-f-nx-left4x-x2-right%23new-answer', 'question_page');

              );

              Post as a guest















              Required, but never shown

























              5 Answers
              5






              active

              oldest

              votes








              5 Answers
              5






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              6












              $begingroup$

              Hint:



              $4x-x^2$ is a quadratic polynomial , with a negative leading coefficient. Furthermore, it vanishes for $x=0$ and $x=4$. Can you find it (absolute) maximum?



              Once you've found this maximum, you can use the mean value inequality for integrals.






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:45
















              6












              $begingroup$

              Hint:



              $4x-x^2$ is a quadratic polynomial , with a negative leading coefficient. Furthermore, it vanishes for $x=0$ and $x=4$. Can you find it (absolute) maximum?



              Once you've found this maximum, you can use the mean value inequality for integrals.






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:45














              6












              6








              6





              $begingroup$

              Hint:



              $4x-x^2$ is a quadratic polynomial , with a negative leading coefficient. Furthermore, it vanishes for $x=0$ and $x=4$. Can you find it (absolute) maximum?



              Once you've found this maximum, you can use the mean value inequality for integrals.






              share|cite|improve this answer









              $endgroup$



              Hint:



              $4x-x^2$ is a quadratic polynomial , with a negative leading coefficient. Furthermore, it vanishes for $x=0$ and $x=4$. Can you find it (absolute) maximum?



              Once you've found this maximum, you can use the mean value inequality for integrals.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jun 1 at 19:35









              BernardBernard

              127k743122




              127k743122











              • $begingroup$
                Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:45

















              • $begingroup$
                Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:45
















              $begingroup$
              Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
              $endgroup$
              – Wesley Strik
              Jun 1 at 19:45





              $begingroup$
              Of course, you can estimate this by the maximum! very nice approach. I like this argument. This is probably how the question was meant to be done ^^
              $endgroup$
              – Wesley Strik
              Jun 1 at 19:45












              4












              $begingroup$

              You cannot just blindly apply the reverse power rule. Remember the chain rule? You have a function within another function.



              Consider the case when n=2



              $ int_0^4 (4x + x^2)^2 dx = int_0^4 16x^2 + 8x^3 + x^4 dx$






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Would it be better for him to use the binomial expansion, you think?
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:34






              • 1




                $begingroup$
                That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
                $endgroup$
                – agentnola
                Jun 1 at 19:35















              4












              $begingroup$

              You cannot just blindly apply the reverse power rule. Remember the chain rule? You have a function within another function.



              Consider the case when n=2



              $ int_0^4 (4x + x^2)^2 dx = int_0^4 16x^2 + 8x^3 + x^4 dx$






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Would it be better for him to use the binomial expansion, you think?
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:34






              • 1




                $begingroup$
                That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
                $endgroup$
                – agentnola
                Jun 1 at 19:35













              4












              4








              4





              $begingroup$

              You cannot just blindly apply the reverse power rule. Remember the chain rule? You have a function within another function.



              Consider the case when n=2



              $ int_0^4 (4x + x^2)^2 dx = int_0^4 16x^2 + 8x^3 + x^4 dx$






              share|cite|improve this answer









              $endgroup$



              You cannot just blindly apply the reverse power rule. Remember the chain rule? You have a function within another function.



              Consider the case when n=2



              $ int_0^4 (4x + x^2)^2 dx = int_0^4 16x^2 + 8x^3 + x^4 dx$







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jun 1 at 19:31









              agentnolaagentnola

              689




              689











              • $begingroup$
                Would it be better for him to use the binomial expansion, you think?
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:34






              • 1




                $begingroup$
                That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
                $endgroup$
                – agentnola
                Jun 1 at 19:35
















              • $begingroup$
                Would it be better for him to use the binomial expansion, you think?
                $endgroup$
                – Wesley Strik
                Jun 1 at 19:34






              • 1




                $begingroup$
                That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
                $endgroup$
                – agentnola
                Jun 1 at 19:35















              $begingroup$
              Would it be better for him to use the binomial expansion, you think?
              $endgroup$
              – Wesley Strik
              Jun 1 at 19:34




              $begingroup$
              Would it be better for him to use the binomial expansion, you think?
              $endgroup$
              – Wesley Strik
              Jun 1 at 19:34




              1




              1




              $begingroup$
              That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
              $endgroup$
              – agentnola
              Jun 1 at 19:35




              $begingroup$
              That would be an excellent approach. I was also thinking that you could attempt to find a pattern and then use induction to prove it.
              $endgroup$
              – agentnola
              Jun 1 at 19:35











              2












              $begingroup$

              If you let $I_n = int_0^4 (4x-x^2)^ndx$ for every positive integer $n$, you can even find a recurrence relation for this sequence using integration by parts:



              $$I_n = int_0^4 (4x-x^2)^n dx = int_0^4 (4x-x^2)^n cdot (x-2)'dx = cdots = -2nI_n + 8n I_n-1.$$



              Using this you can easily solve your question using induction.






              share|cite|improve this answer









              $endgroup$








              • 1




                $begingroup$
                Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:46







              • 1




                $begingroup$
                Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:49















              2












              $begingroup$

              If you let $I_n = int_0^4 (4x-x^2)^ndx$ for every positive integer $n$, you can even find a recurrence relation for this sequence using integration by parts:



              $$I_n = int_0^4 (4x-x^2)^n dx = int_0^4 (4x-x^2)^n cdot (x-2)'dx = cdots = -2nI_n + 8n I_n-1.$$



              Using this you can easily solve your question using induction.






              share|cite|improve this answer









              $endgroup$








              • 1




                $begingroup$
                Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:46







              • 1




                $begingroup$
                Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:49













              2












              2








              2





              $begingroup$

              If you let $I_n = int_0^4 (4x-x^2)^ndx$ for every positive integer $n$, you can even find a recurrence relation for this sequence using integration by parts:



              $$I_n = int_0^4 (4x-x^2)^n dx = int_0^4 (4x-x^2)^n cdot (x-2)'dx = cdots = -2nI_n + 8n I_n-1.$$



              Using this you can easily solve your question using induction.






              share|cite|improve this answer









              $endgroup$



              If you let $I_n = int_0^4 (4x-x^2)^ndx$ for every positive integer $n$, you can even find a recurrence relation for this sequence using integration by parts:



              $$I_n = int_0^4 (4x-x^2)^n dx = int_0^4 (4x-x^2)^n cdot (x-2)'dx = cdots = -2nI_n + 8n I_n-1.$$



              Using this you can easily solve your question using induction.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jun 2 at 11:12









              C_MC_M

              1,5281627




              1,5281627







              • 1




                $begingroup$
                Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:46







              • 1




                $begingroup$
                Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:49












              • 1




                $begingroup$
                Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:46







              • 1




                $begingroup$
                Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
                $endgroup$
                – Wesley Strik
                Jun 2 at 11:49







              1




              1




              $begingroup$
              Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
              $endgroup$
              – Wesley Strik
              Jun 2 at 11:46





              $begingroup$
              Or rewrite this as: $$ I_n+1= frac8n1+2n I_n $$ And then observe that in general the solution for $$ I_n+1 = c_n cdot I_n $$ is given by: $$ I_ n= I_n_0 cdot prod_ i=n_0 ^n-1 c_i$$ Where $n_0$ denotes the starting index, that is, the first term.
              $endgroup$
              – Wesley Strik
              Jun 2 at 11:46





              1




              1




              $begingroup$
              Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
              $endgroup$
              – Wesley Strik
              Jun 2 at 11:49




              $begingroup$
              Observe how $I_n_0=I_0 = 4$, we may then write that: $$ I _n = 4 cdot prod_i=0 ^n-1 frac8n2n+1 <4 cdot prod_i=0 ^n-1 frac8n2n= 4 cdot prod_i=0 ^n-1 4 = 4^n+1 $$
              $endgroup$
              – Wesley Strik
              Jun 2 at 11:49











              2












              $begingroup$

              Below is a suggestion for a very tedious route, but I wanted to post it anyway. This is probably not how the question is meant to be done.



              Observe how by the binomial theorem we have that:
              $$I=int _x=0^4:f_n(x),dx =int _x=0^4: (4x-x^2 )^n,dx =int _x=0^4: sum_k=0^n binomnk (4x)^k cdot (-x^2)^n-k,dx$$
              We make this look a bit prettier:
              $$I=int _x=0^4: sum_k=0^n binomnk 4^k cdot (-1)^n-kx^2n-k,dx$$



              We may switch the order of integration and summation since this concerns polynomials (what I mean is that they are of finite order), we compute:
              $$I=sum_k=0^n binomnk frac12n-k+1 4^k cdot (-1)^n-k4^2n-k+1-0$$
              We collect some terms:
              $$I=sum_k=0^n binomnk frac12n-k+1 4^2n+1 cdot (-1)^n-k$$
              Using combinatorial formulae and some help from Wolfram Alpha, this can be exactly computed to be:
              $$ I =fracsqrt pi cdot n! cdot 2^2n+1(n+frac12)!=fracsqrt pi cdot n!(n+frac12)! cdot 4^n + frac12$$
              We then need to prove by induction that $fracsqrt pi cdot n!(n+frac12)! > sqrt4$ for positive $n$.



              Yes. This is a lot of hard work. You could also just take the approach that was posted by Bernard and observe that $4x-x^2$ has a global maximum on the interval $[0,4]$ (the begin and endpoint are zeros of this polynomial), this maximum by symmetry occurs at $x=2$. The function has maximum value $8-4=4$. Observe then by the estimation lemma that $M =max_x in [0,4]((4x-x^2)^n)=4^n$, and the length of our path is $4$. We get:
              $$ int _x=0^4 f_n dx leq M L = 4^n cdot 4 = 4^n+1 $$



              Also see: ML-inequality for real integrals



              Or alternatively, if you don't like applying this theorem, we see that the $f_n$ is continuous as it is a polynomial, it is bounded on $[0,4]$ , thus by the mean value theorem for integrals there must exist a $xi in [0,4]$ such that:
              $$ (4-0) cdot f_n(xi) =int _x=0^4:f_n(x),dx$$
              $$ int _x=0^4:f_n(x),dx = 4 f_n(xi) $$
              However, observe that $f_n(xi) leq 4^n$ for all $n in mathbb N$ thus:
              $$ int _x=0^4:f_n(x),dx leq 4 cdot 4^n = 4^n+1 $$






              share|cite|improve this answer











              $endgroup$

















                2












                $begingroup$

                Below is a suggestion for a very tedious route, but I wanted to post it anyway. This is probably not how the question is meant to be done.



                Observe how by the binomial theorem we have that:
                $$I=int _x=0^4:f_n(x),dx =int _x=0^4: (4x-x^2 )^n,dx =int _x=0^4: sum_k=0^n binomnk (4x)^k cdot (-x^2)^n-k,dx$$
                We make this look a bit prettier:
                $$I=int _x=0^4: sum_k=0^n binomnk 4^k cdot (-1)^n-kx^2n-k,dx$$



                We may switch the order of integration and summation since this concerns polynomials (what I mean is that they are of finite order), we compute:
                $$I=sum_k=0^n binomnk frac12n-k+1 4^k cdot (-1)^n-k4^2n-k+1-0$$
                We collect some terms:
                $$I=sum_k=0^n binomnk frac12n-k+1 4^2n+1 cdot (-1)^n-k$$
                Using combinatorial formulae and some help from Wolfram Alpha, this can be exactly computed to be:
                $$ I =fracsqrt pi cdot n! cdot 2^2n+1(n+frac12)!=fracsqrt pi cdot n!(n+frac12)! cdot 4^n + frac12$$
                We then need to prove by induction that $fracsqrt pi cdot n!(n+frac12)! > sqrt4$ for positive $n$.



                Yes. This is a lot of hard work. You could also just take the approach that was posted by Bernard and observe that $4x-x^2$ has a global maximum on the interval $[0,4]$ (the begin and endpoint are zeros of this polynomial), this maximum by symmetry occurs at $x=2$. The function has maximum value $8-4=4$. Observe then by the estimation lemma that $M =max_x in [0,4]((4x-x^2)^n)=4^n$, and the length of our path is $4$. We get:
                $$ int _x=0^4 f_n dx leq M L = 4^n cdot 4 = 4^n+1 $$



                Also see: ML-inequality for real integrals



                Or alternatively, if you don't like applying this theorem, we see that the $f_n$ is continuous as it is a polynomial, it is bounded on $[0,4]$ , thus by the mean value theorem for integrals there must exist a $xi in [0,4]$ such that:
                $$ (4-0) cdot f_n(xi) =int _x=0^4:f_n(x),dx$$
                $$ int _x=0^4:f_n(x),dx = 4 f_n(xi) $$
                However, observe that $f_n(xi) leq 4^n$ for all $n in mathbb N$ thus:
                $$ int _x=0^4:f_n(x),dx leq 4 cdot 4^n = 4^n+1 $$






                share|cite|improve this answer











                $endgroup$















                  2












                  2








                  2





                  $begingroup$

                  Below is a suggestion for a very tedious route, but I wanted to post it anyway. This is probably not how the question is meant to be done.



                  Observe how by the binomial theorem we have that:
                  $$I=int _x=0^4:f_n(x),dx =int _x=0^4: (4x-x^2 )^n,dx =int _x=0^4: sum_k=0^n binomnk (4x)^k cdot (-x^2)^n-k,dx$$
                  We make this look a bit prettier:
                  $$I=int _x=0^4: sum_k=0^n binomnk 4^k cdot (-1)^n-kx^2n-k,dx$$



                  We may switch the order of integration and summation since this concerns polynomials (what I mean is that they are of finite order), we compute:
                  $$I=sum_k=0^n binomnk frac12n-k+1 4^k cdot (-1)^n-k4^2n-k+1-0$$
                  We collect some terms:
                  $$I=sum_k=0^n binomnk frac12n-k+1 4^2n+1 cdot (-1)^n-k$$
                  Using combinatorial formulae and some help from Wolfram Alpha, this can be exactly computed to be:
                  $$ I =fracsqrt pi cdot n! cdot 2^2n+1(n+frac12)!=fracsqrt pi cdot n!(n+frac12)! cdot 4^n + frac12$$
                  We then need to prove by induction that $fracsqrt pi cdot n!(n+frac12)! > sqrt4$ for positive $n$.



                  Yes. This is a lot of hard work. You could also just take the approach that was posted by Bernard and observe that $4x-x^2$ has a global maximum on the interval $[0,4]$ (the begin and endpoint are zeros of this polynomial), this maximum by symmetry occurs at $x=2$. The function has maximum value $8-4=4$. Observe then by the estimation lemma that $M =max_x in [0,4]((4x-x^2)^n)=4^n$, and the length of our path is $4$. We get:
                  $$ int _x=0^4 f_n dx leq M L = 4^n cdot 4 = 4^n+1 $$



                  Also see: ML-inequality for real integrals



                  Or alternatively, if you don't like applying this theorem, we see that the $f_n$ is continuous as it is a polynomial, it is bounded on $[0,4]$ , thus by the mean value theorem for integrals there must exist a $xi in [0,4]$ such that:
                  $$ (4-0) cdot f_n(xi) =int _x=0^4:f_n(x),dx$$
                  $$ int _x=0^4:f_n(x),dx = 4 f_n(xi) $$
                  However, observe that $f_n(xi) leq 4^n$ for all $n in mathbb N$ thus:
                  $$ int _x=0^4:f_n(x),dx leq 4 cdot 4^n = 4^n+1 $$






                  share|cite|improve this answer











                  $endgroup$



                  Below is a suggestion for a very tedious route, but I wanted to post it anyway. This is probably not how the question is meant to be done.



                  Observe how by the binomial theorem we have that:
                  $$I=int _x=0^4:f_n(x),dx =int _x=0^4: (4x-x^2 )^n,dx =int _x=0^4: sum_k=0^n binomnk (4x)^k cdot (-x^2)^n-k,dx$$
                  We make this look a bit prettier:
                  $$I=int _x=0^4: sum_k=0^n binomnk 4^k cdot (-1)^n-kx^2n-k,dx$$



                  We may switch the order of integration and summation since this concerns polynomials (what I mean is that they are of finite order), we compute:
                  $$I=sum_k=0^n binomnk frac12n-k+1 4^k cdot (-1)^n-k4^2n-k+1-0$$
                  We collect some terms:
                  $$I=sum_k=0^n binomnk frac12n-k+1 4^2n+1 cdot (-1)^n-k$$
                  Using combinatorial formulae and some help from Wolfram Alpha, this can be exactly computed to be:
                  $$ I =fracsqrt pi cdot n! cdot 2^2n+1(n+frac12)!=fracsqrt pi cdot n!(n+frac12)! cdot 4^n + frac12$$
                  We then need to prove by induction that $fracsqrt pi cdot n!(n+frac12)! > sqrt4$ for positive $n$.



                  Yes. This is a lot of hard work. You could also just take the approach that was posted by Bernard and observe that $4x-x^2$ has a global maximum on the interval $[0,4]$ (the begin and endpoint are zeros of this polynomial), this maximum by symmetry occurs at $x=2$. The function has maximum value $8-4=4$. Observe then by the estimation lemma that $M =max_x in [0,4]((4x-x^2)^n)=4^n$, and the length of our path is $4$. We get:
                  $$ int _x=0^4 f_n dx leq M L = 4^n cdot 4 = 4^n+1 $$



                  Also see: ML-inequality for real integrals



                  Or alternatively, if you don't like applying this theorem, we see that the $f_n$ is continuous as it is a polynomial, it is bounded on $[0,4]$ , thus by the mean value theorem for integrals there must exist a $xi in [0,4]$ such that:
                  $$ (4-0) cdot f_n(xi) =int _x=0^4:f_n(x),dx$$
                  $$ int _x=0^4:f_n(x),dx = 4 f_n(xi) $$
                  However, observe that $f_n(xi) leq 4^n$ for all $n in mathbb N$ thus:
                  $$ int _x=0^4:f_n(x),dx leq 4 cdot 4^n = 4^n+1 $$







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jun 2 at 11:40

























                  answered Jun 1 at 20:14









                  Wesley StrikWesley Strik

                  2,3851424




                  2,3851424





















                      0












                      $begingroup$

                      Here is a nice solution without using the binomial expansion.



                      $$int_0^4 (4x -x^2)^ndx < 4^n+1$$



                      If we let n=0, the integral resolves to 0 which is less than 4. So our base case is covered.



                      Now assume there exists a $k$ such that



                      $$int_0^4 (4x -x^2)^kdx < 4^k+1$$



                      Holds.



                      Now we need to prove this inequality holds for the $k+1$.



                      $$int_0^4 (4x -x^2)^k+1dx = int_0^4 (4x -x^2)^k (4x - x^2)dx $$



                      If we apply integration by parts and let $u= 4x -x^2$ and $dv = (4x - x^2)^k$ we get



                      $$(4x - x^2) int (4x -x^2)^kdx - (4 - 2x)int(4x -x^2)^kdx $$



                      We let our bounds go from 0 to 4 and we get the following



                      $$0 int_0^4 (4x -x^2)^kdx + 4 int_0^4 (4x -x^2)^k$$



                      We know that $int_0^4 (4x -x^2)^kdx < 4^k+1$ therefore we can conclude



                      $$4int_0^4 (4x -x^2)^kdx < 4^k+2$$






                      share|cite|improve this answer









                      $endgroup$

















                        0












                        $begingroup$

                        Here is a nice solution without using the binomial expansion.



                        $$int_0^4 (4x -x^2)^ndx < 4^n+1$$



                        If we let n=0, the integral resolves to 0 which is less than 4. So our base case is covered.



                        Now assume there exists a $k$ such that



                        $$int_0^4 (4x -x^2)^kdx < 4^k+1$$



                        Holds.



                        Now we need to prove this inequality holds for the $k+1$.



                        $$int_0^4 (4x -x^2)^k+1dx = int_0^4 (4x -x^2)^k (4x - x^2)dx $$



                        If we apply integration by parts and let $u= 4x -x^2$ and $dv = (4x - x^2)^k$ we get



                        $$(4x - x^2) int (4x -x^2)^kdx - (4 - 2x)int(4x -x^2)^kdx $$



                        We let our bounds go from 0 to 4 and we get the following



                        $$0 int_0^4 (4x -x^2)^kdx + 4 int_0^4 (4x -x^2)^k$$



                        We know that $int_0^4 (4x -x^2)^kdx < 4^k+1$ therefore we can conclude



                        $$4int_0^4 (4x -x^2)^kdx < 4^k+2$$






                        share|cite|improve this answer









                        $endgroup$















                          0












                          0








                          0





                          $begingroup$

                          Here is a nice solution without using the binomial expansion.



                          $$int_0^4 (4x -x^2)^ndx < 4^n+1$$



                          If we let n=0, the integral resolves to 0 which is less than 4. So our base case is covered.



                          Now assume there exists a $k$ such that



                          $$int_0^4 (4x -x^2)^kdx < 4^k+1$$



                          Holds.



                          Now we need to prove this inequality holds for the $k+1$.



                          $$int_0^4 (4x -x^2)^k+1dx = int_0^4 (4x -x^2)^k (4x - x^2)dx $$



                          If we apply integration by parts and let $u= 4x -x^2$ and $dv = (4x - x^2)^k$ we get



                          $$(4x - x^2) int (4x -x^2)^kdx - (4 - 2x)int(4x -x^2)^kdx $$



                          We let our bounds go from 0 to 4 and we get the following



                          $$0 int_0^4 (4x -x^2)^kdx + 4 int_0^4 (4x -x^2)^k$$



                          We know that $int_0^4 (4x -x^2)^kdx < 4^k+1$ therefore we can conclude



                          $$4int_0^4 (4x -x^2)^kdx < 4^k+2$$






                          share|cite|improve this answer









                          $endgroup$



                          Here is a nice solution without using the binomial expansion.



                          $$int_0^4 (4x -x^2)^ndx < 4^n+1$$



                          If we let n=0, the integral resolves to 0 which is less than 4. So our base case is covered.



                          Now assume there exists a $k$ such that



                          $$int_0^4 (4x -x^2)^kdx < 4^k+1$$



                          Holds.



                          Now we need to prove this inequality holds for the $k+1$.



                          $$int_0^4 (4x -x^2)^k+1dx = int_0^4 (4x -x^2)^k (4x - x^2)dx $$



                          If we apply integration by parts and let $u= 4x -x^2$ and $dv = (4x - x^2)^k$ we get



                          $$(4x - x^2) int (4x -x^2)^kdx - (4 - 2x)int(4x -x^2)^kdx $$



                          We let our bounds go from 0 to 4 and we get the following



                          $$0 int_0^4 (4x -x^2)^kdx + 4 int_0^4 (4x -x^2)^k$$



                          We know that $int_0^4 (4x -x^2)^kdx < 4^k+1$ therefore we can conclude



                          $$4int_0^4 (4x -x^2)^kdx < 4^k+2$$







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Jun 9 at 0:33









                          agentnolaagentnola

                          689




                          689



























                              draft saved

                              draft discarded
















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid


                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.

                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3247910%2fprove-that-int-04-f-nx-dx-4n1-where-f-nx-left4x-x2-right%23new-answer', 'question_page');

                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              Club Baloncesto Breogán Índice Historia | Pavillón | Nome | O Breogán na cultura popular | Xogadores | Adestradores | Presidentes | Palmarés | Historial | Líderes | Notas | Véxase tamén | Menú de navegacióncbbreogan.galCadroGuía oficial da ACB 2009-10, páxina 201Guía oficial ACB 1992, páxina 183. Editorial DB.É de 6.500 espectadores sentados axeitándose á última normativa"Estudiantes Junior, entre as mellores canteiras"o orixinalHemeroteca El Mundo Deportivo, 16 setembro de 1970, páxina 12Historia do BreogánAlfredo Pérez, o último canoneiroHistoria C.B. BreogánHemeroteca de El Mundo DeportivoJimmy Wright, norteamericano do Breogán deixará Lugo por ameazas de morteResultados de Breogán en 1986-87Resultados de Breogán en 1990-91Ficha de Velimir Perasović en acb.comResultados de Breogán en 1994-95Breogán arrasa al Barça. "El Mundo Deportivo", 27 de setembro de 1999, páxina 58CB Breogán - FC BarcelonaA FEB invita a participar nunha nova Liga EuropeaCharlie Bell na prensa estatalMáximos anotadores 2005Tempada 2005-06 : Tódolos Xogadores da Xornada""Non quero pensar nunha man negra, mais pregúntome que está a pasar""o orixinalRaúl López, orgulloso dos xogadores, presume da boa saúde económica do BreogánJulio González confirma que cesa como presidente del BreogánHomenaxe a Lisardo GómezA tempada do rexurdimento celesteEntrevista a Lisardo GómezEl COB dinamita el Pazo para forzar el quinto (69-73)Cafés Candelas, patrocinador del CB Breogán"Suso Lázare, novo presidente do Breogán"o orixinalCafés Candelas Breogán firma el mayor triunfo de la historiaEl Breogán realizará 17 homenajes por su cincuenta aniversario"O Breogán honra ao seu fundador e primeiro presidente"o orixinalMiguel Giao recibiu a homenaxe do PazoHomenaxe aos primeiros gladiadores celestesO home que nos amosa como ver o Breo co corazónTita Franco será homenaxeada polos #50anosdeBreoJulio Vila recibirá unha homenaxe in memoriam polos #50anosdeBreo"O Breogán homenaxeará aos seus aboados máis veteráns"Pechada ovación a «Capi» Sanmartín e Ricardo «Corazón de González»Homenaxe por décadas de informaciónPaco García volve ao Pazo con motivo do 50 aniversario"Resultados y clasificaciones""O Cafés Candelas Breogán, campión da Copa Princesa""O Cafés Candelas Breogán, equipo ACB"C.B. Breogán"Proxecto social"o orixinal"Centros asociados"o orixinalFicha en imdb.comMario Camus trata la recuperación del amor en 'La vieja música', su última película"Páxina web oficial""Club Baloncesto Breogán""C. B. Breogán S.A.D."eehttp://www.fegaba.com

                              Vilaño, A Laracha Índice Patrimonio | Lugares e parroquias | Véxase tamén | Menú de navegación43°14′52″N 8°36′03″O / 43.24775, -8.60070

                              Cegueira Índice Epidemioloxía | Deficiencia visual | Tipos de cegueira | Principais causas de cegueira | Tratamento | Técnicas de adaptación e axudas | Vida dos cegos | Primeiros auxilios | Crenzas respecto das persoas cegas | Crenzas das persoas cegas | O neno deficiente visual | Aspectos psicolóxicos da cegueira | Notas | Véxase tamén | Menú de navegación54.054.154.436928256blindnessDicionario da Real Academia GalegaPortal das Palabras"International Standards: Visual Standards — Aspects and Ranges of Vision Loss with Emphasis on Population Surveys.""Visual impairment and blindness""Presentan un plan para previr a cegueira"o orixinalACCDV Associació Catalana de Cecs i Disminuïts Visuals - PMFTrachoma"Effect of gene therapy on visual function in Leber's congenital amaurosis"1844137110.1056/NEJMoa0802268Cans guía - os mellores amigos dos cegosArquivadoEscola de cans guía para cegos en Mortágua, PortugalArquivado"Tecnología para ciegos y deficientes visuales. Recopilación de recursos gratuitos en la Red""Colorino""‘COL.diesis’, escuchar los sonidos del color""COL.diesis: Transforming Colour into Melody and Implementing the Result in a Colour Sensor Device"o orixinal"Sistema de desarrollo de sinestesia color-sonido para invidentes utilizando un protocolo de audio""Enseñanza táctil - geometría y color. Juegos didácticos para niños ciegos y videntes""Sistema Constanz"L'ocupació laboral dels cecs a l'Estat espanyol està pràcticament equiparada a la de les persones amb visió, entrevista amb Pedro ZuritaONCE (Organización Nacional de Cegos de España)Prevención da cegueiraDescrición de deficiencias visuais (Disc@pnet)Braillín, un boneco atractivo para calquera neno, con ou sen discapacidade, que permite familiarizarse co sistema de escritura e lectura brailleAxudas Técnicas36838ID00897494007150-90057129528256DOID:1432HP:0000618D001766C10.597.751.941.162C97109C0155020