The Bernoulli Integral is ridiculous

[@SilverLining1]

WARNING: At 2:40, he replaces a function (e^xlnx) with its taylor series. This only works because the taylor series of e^x converges everywhere, so e^f(x) converges everywhere for all functions f(x). However, if you try to do this with a function whose interval of convergence does not cover the interval of integration, then you end up integrating with the a different function outside the interval of convergence than what you started with

[@AH-jt6wc]

the exp(x) function diverge when x tend to infinity right ? you said converge everywhere

[@elquesohombre9931]

@@AH-jt6wcthe Taylor series expansion will converge to the values of exp(x) at any given point. Convergence here is not being used with end behavior in mind. There are functions (example: 1/(1+x^2)) that are not analytic and will not converge to the function it is trying to approximate beyond a certain radius. For this particular example, that radius will be 1 given that you use an expansion at the origin, because the series expansion tries to approximate it for all values including the imaginary unit i, and it doesn’t do well with irregularities like dividing by zero. exp(x) doesn’t have this issue so the Taylor series expansion will converge to exp(x) rather than being limited by something like the previous example.

[@TrueRyoB]

smartest koisheep

[@laitinlok1]

Yes for definite integral, when you do substitution, you need to change the range?

[@a3wassver47]

damm koishi

[@imeprezime1285]

The Bernoullis reproduced like rabbits. Should have better studied Fibonacci kind of problems

[@railx2005]

Goddamn intelligence runs in the family

[@darkking2436]

The Fibonacci sequence grows in an exponential order so maybe that's not such a great idea either

[@bonks4395]

@@darkking2436 Makes a 69 sort of pattern, so less kids, more fun

[@combcomclrlsr]

Okay. That was good.

I would have hoped they would have involved more people outside the family when reproducing, than Fibonacci's rabbits did.

[@andraspongracz5996]

At 5:41 when you plug in, you should put e^(-u) in a big pair of parentheses, to emphasize that you execute this exponentiation first, and then raise the result to the power (n+1). The way you wrote it, by convention, means that e is raised to the power (-u)^(n+1), and that is totally different.

[@mathopo237]

I was going to write the exact same comment on the exponent. Still good videos though

[@ES-md1pm]

Thanks for pointing out. I was also confused how this could be equal. The quote position is actually not correct.

[@Inception1338]

​@@amrm155that's like remote punch right into the stomach.

[@stephenarthurhadley]

Thanks for pointing this out. I was having the same issue as other people and thought he was doing some ninja math.

[@Bozzigmupp]

@amr m Don't you always write i=0 under the sigma

[@jppagetoo]

Back when I was a math major, we tackled this very integral in one of my advanced calculus courses. After I left college I went into programming. Sadly, I never used much of the math again. So forgive me 40 years of eroded skills. I still love this stuff. Having a strong math backgroud has always served me well.

[@evansaschow]

I always forget you can’t always swap sums and integrals. My physics profs always just do it without comment

[@niepowiem5894]

But you shouldn't tell that to mathematicians! ;)

[@r_bear]

The nice thing about physics is that most things in the world are sufficiently nonpathological such that you can play fast and loose pretty safely 😅

[@OtherTheDave]

Wait, why not? I was always taught that “the sum of the integrals is the integral of the sum”.

[@obelustilde9427]

​@@OtherTheDave Yes that works for finite sums, but infinite sums are defined as the limit of a series. So when you want to interchange them with an integral, you have to interchange a limit and an integral, which isn't always possible.

[@socraticmathtutor1869]

From a math standpoint, it's fine to do the integral switcheroo thing without justification, so long as you present your findings as a mere conjecture and not as a proof. So in some sense, there's nothing wrong with physicists omitting the justification. They just have to understand that what they've done is found a plausible answer to the question they're asking, but without a proof of the correctness of that answer. Unfortunately, a lot of physics types don't really get and/or worry about these kinds of "subtle" distinctions, despite that they're obviously important, and actually not very subtle at all.

[@bhavesh.adhikari]

this professor never lets me stay away from mathematics.

[@DrTrefor]

math will grip you forever! :D

[@paulthompson9668]

@@DrTrefor The limit of y=x^x as x approaches 0 is undefined. Doesn't that mean that the integral in your video is undefined?

[@cnutsiggardason2014]

@@paulthompson9668 plus you only really need it to exist almost everywhere to integrate so having the endpoint undefined doesnt matter

[@paulthompson9668]

@@cnutsiggardason2014 Is that a rule for integration? I'm not trying to be pedantic, but sometimes a single point matters and sometimes it doesn't.

[@Unprotected1232]

He will find you and he will math you. There is no escape. Even KZbin is not safe.

[@violintegral]

Another clever way to evaluate the integral from 0 to 1 of x^n*(ln(x))^n w.r.t. x is to use Feynman's trick, i.e. differentiation under the integral sign, a special case of the Leibniz integral rule. Start with the integral I(t), defined as the integral from 0 to 1 of x^t w.r.t. x, with t being a nonnegative continuous variable. I(t) is the first and easiest integral anyone learns in calculus, evaluating to 1/(t+1) after applying the reverse power rule and the Fundamental theorem of calculus. Next notice that, upon differentiation w.r.t. t and exchanging the integral and derivative operators (the derivative becoming a partial derivative under the integral sign), that I'(t) is the integral from 0 to 1 of x^t*ln(x) w.r.t. x. So differentiating I(t) once chains out a single factor of ln(x). This pattern continues, meaning I''(t) is the integral from 0 to 1 of x^t*(ln(x))^2 w.r.t. x, I'''(t) is the integral from 0 to 1 of x^t*(ln(x))^3 w.r.t. x, and so on, since d/dt(x^t) = x^t*ln(x) and ln(x) is a constant with respect to t. Therefore, differentiating I(t) n times and evaluating at t = n returns the integral in question, so I^(n)(n) is the integral from 0 to 1 of x^n*(ln(x))^n w.r.t. x. To evaluate I^(n)(t), look back at I(t). Since I(t) = 1/(t+1), I^(n)(t) = d^n/dt^n(1/(t+1)). Now a seemingly difficult problem of integration has been transformed into a rather simple problem of differentiation. To evaluate this nth derivative, look at the derivative for the first few values of n and try to recognize a pattern. I^(0)(t) = 1/(t+1) = (-1)^0*0!/(t+1)^(0+1), I^(1)(t) = -1/(t+1)^2 = (-1)^1*1!*1/(t+1)^(1+1), I^(2)(t) = 2/(t+1)^3 = (-1)^2*2!*1/(t+1)^(2+1), I^(3)(t) = -6/(t+1)^4 = (-1)^3*3!*1/(t+1)^(3+1)... , the pattern continuing on up to I^(n)(t), suggesting that I^(n)(t) = (-1)^n*n!/(t+1)^(n+1), which can be proved by induction. Finally, evaluating I^(n)(t) at t = n gives the desired result: I^(n)(n) = (-1)^n*n!/(n+1)^(n+1). Some lessons to take away from this solution are 1) that recognizing and exploiting patterns can be very helpful when solving math problems and 2) starting with a similar-looking problem that you know how to solve can often provide some insight into the solution of a more difficult problem. As an aside, this method of differentiation under the integral sign can equivalently be used to prove that Gamma(n+1) = n!, giving a greater intution as to why this technique gives the same result as that of this video, but I will leave that up to you!

[@TheEternalVortex42]

This is basically the same as iterating integration by parts

[@violintegral]

@@TheEternalVortex42 How? It seems to me that, although both solutions give the same answer, they are fundamentally different.

[@Ramsey_erdos]

If u look up cambridge step 3, 2009 question 8 it is on this exact integral and its a very excellent question i remember doing it when studying. Very fun to figure out and pleasing result :)

[@MichaelRothwell1]

Thanks for this beautiful solution to the Bernoulli integral ∫₀¹xˣdx. Just a small point about the value of 0⁰. At the start of the video you mentioned the apparent contradiction between the rules x⁰=1 and 0ˣ=0, and wondered which rule should take priority when x=0. As far as I am concerned, the x⁰=1 rule definitely takes priority. This is because it is valid for all real x≠0, whilst the 0ˣ=0 rule, on the other hand, only applies for x>0, with 0ˣ being undefined for x0 it is 0, for x0. If we let a→0 and take the pointwise limit of these functions, we get 0 for x>0, 1 for x=0 and ∞ for x

[@charetjc]

0^7 is zero multiplied seven times. Zero multiplied by anything is zero. x^0 is x multiplied zero times. If you assume an implicit coefficient of 1, then you get 1 multiplied by nothing (not even zero), which is still 1. 0^0 is zero multiplied zero times. Again, assuming an implicit coefficient of 1, then you get 1, because that implicit 1 was never multiplied by zero (there are none).

[@MichaelRothwell1]

@@charetjc Agreed. The empty product argument is an excellent justification for 0⁰=1. It is the basis of BriTheMathGuy's video "The Most Controversial Number in Math" (kzbin.info/www/bejne/oH_Lm3VqisuFb6M ). Another excellent argument (but probably too abstract to be understood by non-Mathematicians) is the map counting argument: if A and B are finite sets with cardinality m and n respectively, then the number of maps A→B (essentially, the number of m-tuples with values in B), written Bᴬ, has cardinality bᵃ. This rule is certainly true if A and B are not both empty, so it is logical to extend it to that case also. There is exactly one map ∅→∅, and that is the empty map ∅. So we get 0⁰=1.

[@BlankTH]

And on top of that, when dealing with integrals we're really only dealing with the open set of values within the boundaries of the integral. And since x^x approaches 1 as x approaches 0 this is the value we're after, not the value at x^x when x=0, regardless of what it is.

[@crosseyedcat1183]

Numberphile I think did a nice video about 0^0 and while this intuition works for real numbers, for complex values, it is considerably more... complex. Many of the limits introduced don't converge.

[@MichaelRothwell1]

@@crosseyedcat1183 Sure. But the thing is that there are several good reasons to define 0⁰ as a number that have nothing to do with limits. As a limit, 0⁰ is indeterminate, both for real and complex numbers.

[@p.kalyanachakravarty7530]

Your presentation of this problem is really motivating me to try on my own such incredible integrals !

[@DrTrefor]

TYPO 1: I got a bit silly with whether my index variable is called i or n. It doesn't matter, it just needs to be the same throughout! TYPO 2: At 6:30 I use a power rule (a^b)^c=a^(bc). However, I should have make it explicit that there is brackets around all of e^(-u). Clarification: The key trick in solving this integral was writing the integrand as a power series and then interchanging the integral and the summation. If the sum of the integral of the absolute value of a sequence of functions converges, then we can do this interchange (this is a consequence of Fubini's Theorem). In our case, the integrands are either all positive or all negative, depending on n, so taking absolute values is equivalent to removing the negative signs in the resulting series which we can show converges via the ratio test. This justifies the interchange.

[@kasiphia]

Integral of the cube root of tan(x)?

[@stackalloc7741]

thanks, I was really confused by the second typo.

[@PrasiddhTrivedi]

​@@stackalloc7741 me too! I came to the comments to ask precisely that and see it was already clarified.

[@zhongyuanchen8424]

You also made use of the fact that the integral over the product measure of a discrete counting measure and a given measure is the same as summing outside of the integral.

[@TrongNguyen-sz4wr]

I be confusion in this equation, but know I understood

[@steverainingagain7956]

When he said "i will leave this as an exercise for you" i got severe PTSD of my maths professors at uni. Very rarely did they show us how results came about lol

[@ChemicaLove]

The answer is intuitively obvious and left as an exercise for the student..

[@steverainingagain7956]

@@ChemicaLove what is intuitively obvious for a college professor who has years of research under their belt may not be the case for students. I dont feel like leaving properties or theorems for students to find on their own is particularly useful when the work is relatively new to the students. Feel like it rarely had the desired effect and instead led to a lot of acceptance of mathematical facts without knowing why, a teaching practice which is holistically frowned upon in mathematics

[@badnoodlez]

​@@steverainingagain7956so you don't think students should work and obviously the prof spent their PhD ruminating over trivial exercises. 😂😂😂😂

[@steverainingagain7956]

@@badnoodlez what an absolutely gross misinterpretation of what I said. You don't think students have enough work to do without being left to piece together theorems and properties from work that is relatively new to them (the entire concept of 'proofs' was a very new thing to myself in my maths degree)? Challenging students to discover for themselves is a great tool when used correctly, but was totally abused by professors during my own degree experience. It came across that they clearly prioritised their other work and research over lecturing and used this "leave this to you as an exercise" as a mere shortcut so that they didn't have to bother spending any more time elaborating. Most of what they asked us to prove on our own as students we were not capable of and they rarely provided solutions for those who were unsure. Myself and many others had to resort to online tutorials and lectures over our own professors.

[@JaimePenaAlvarez]

Absolutely loved this video. Thank you Trefor for bringing this gorgeous integral ^^

[@DrTrefor]

Glad you enjoyed it!

[@michel_dutch]

x^x is such a bad boy. You've gotta be a math nerd to understand, but I just like that function. I am curious however whether it actually represents something in the real world, in the same way that n! expresses the number of permutations of n objects.

[@bengal_tiger1984]

How many possible mappings are there of a set of cardinality n with itself? Each element can be mapped to any of n possible elements, since there are n elements, we have n times n times n... n times, so n^n. Combinatorially, a^n is more versatile. If I have a 4 digit pin, there are 10^4 pins I could choose from, since for the first number there are 10 options, for the second 10 options, same for third and fourth. Similar principle. This kind of discrete math appears a lot in applications.

[@cara-seyun]

n^n occasionally came up when calculating entropy, but I’m not a thermodynamist, so I can’t tell you how often it useful it is

[@abdefsdf]

The sum at the end is basically 1/x^x for odd x - 1/x^x for even x. For even x this sums to pi^2/6 as in the Basel problem. But no one has been able to find the 1/x^x odd ones yet, hence why he doesn’t show the exact value of convergence

[@MamouSimo]

Great video thanks, In the challenge examples at the end, the first one should be : Int 0 to 1 (1/(x^x)) dx = sum (n=1 to inf) 1/(n^n) and not 1/(n^2)

[@terryjwood]

I remember discussing difficult to integrate functions in my undergraduate computer science numerical methods class. And I remember thinking the Newton was genius to see that infinite trapezoids could be used to solve the problem. I also felt badly that Newton lived in a time before computers, but thank goodness I was alive NOW! 🙂

[@sirB0nes]

Sorry if I'm the 80th person to point this out, but your final summation is indexed by i while the terms are indexed by n. It was correct when you first introduced the Maclaurin series for the exponential function but, after you computed the integrals and put the whole series back together to finish the problem, that was when the i showed up.

[@terrycole472]

What might be fun is a short video discussing what I was taught to call "Indeterminate forms" such as your example - zero to the power of zero - but including: - anything divided by zero, - infinity (or at least the cardinality of the continuum) to the power of zero, - anything to the power of infinity, and so forth, with attention to the way some make even less sense than others.

[@padraiggluck2980]

Excellent presentation, professor. ⭐️

[@jonschwann]

Using the Basal problem and the steps to solve it, you can get a final solution to this as n goes to infinity of pi^2/12

[@farhanahmed2508]

Professor you blow my mind

[@hamunami]

すばらしい。どうしても解けなかった問題を解いてくれた。

[@vichea24]

Thanks 🙏🏻 teacher . Me from Cambodia 🇰🇭

[@Daniel-yc2ur]

To finish it off split the series into the odd and even parts to get rid of the (-1)^n, then re index the two sums to get the Basel problem and plug in pi^2/6

[@PeterParker-gt3xl]

This beautiful solution by Johann Bernoulli is justly shown here by the professor, involving e/ln, integration of x, lnx b/w 1 and 0; IBP was not used then, the same Johann who was stumped with Basel problem, and got to admire Euler's solution, (sadly w/o Jakob). You are a teacher I am looking for.

[@Alex-jk2qy]

Lovely integral bud

[@tamatratsu7756]

The answer is 0.5

[@belalsherif553]

that's one great piece of math right there!! thank you

[@DrTrefor]

Glad you think so!

[@belalsherif553]

@Dr. Trefor Bazett I really learned a lot from you and am still learning. I appreciate your great work.

[@SolomonUcko]

integral from 0 to 1 of x^x dx = - sum of n from 1 to infinity of (-1)^n * n^-n

[@looney1023]

This, along with an even nicer integral, is collectively known as the "Sophomore's Dream"! The other integrand is x^-x and the result is even nicer: integral(x^-x) = sum(n^-n)

[@nikitasidorov8722]

This constant is clearly irrational by the rate of convergence. Is it known to be transcendental?

[@artelcampos]

6:30 it looked like n+1 was the exponent on -u alone so I didn't think you could do that step like that

[@Lory_1502]

I was thinking the same, then I rewatched the video and saw that it come from x^n --> (e^-u)^(n+1), so it's correct what he did. It's for the notation that it seems wrong. Anyway, very good video

[@jebarijihed]

Well we could make it even more cleaner by assuming that (-1)^n =-(-1)^(n+1) than make a shift by one in the serie expression to fin the resulat equal to the sum from 1 to infinity of -(-1/n)^n

[@grant1390]

Your Challenge Examples at the end are wrong.

[@Straigo]

Oh neat, the tetrate x^^2. Wonderfully done. I throughly enjoyed your process and pacing.

[@michaeledwardharris]

That was pretty crazy.

[@genekisayan6564]

Typo. 8:09 for example the infinite sum's index shall be n and not i.

[@sebastiandierks7919]

5:44 The brackets should enclose the entire e-function, not only the exponent. There are already a couple of other comments wondering how you simplified further using the power rule, which was correct, but didn't make sense if the brackets are only about the -u in the exponent.

[@DrTrefor]

Yes, I should have been explicit, I'll add a note

[@jadenb6281]

Really trending video, great job!

[@skyetharsis7136]

i once actually did the n-fold integration by parts cus i thought it was interesting. honestly im surprised i haven't seen anyone cover that method in a video

[@mattikemppinen6750]

hippotenuse!

[@ericfielding668]

I've got a print of a painting of two brothers Bernoulli deep into some maths hanging above my desk. They wore curly hair wigs like judges used to do.

[@moshyroth]

That was pretty creative

[@GenericInternetter]

x = x * 1 x^y = x^y * 1 x^0 = 1 (there are no x's to raise to y) Therefore... 0^0 = 1 The only real debate to be had is whether -0^0 and/or 0^-0 are 1 or -1

[@MrMichkov]

It has some real values for negative xs, so like the gamma function. 😀

[@toomanyhobbies2011]

Thank you for this journey down memory lane. Once we realized that Calculus is Algebra with limits, mostly Algebra, it became much easier. Just remember that the endpoints of an integral are not included in the value, because it's ultimately a limit operation. Using a program to evaluate something like 0^0 is just accepting a definition, they simply define 0^0 to be 1. Computers are detrimental to understanding.

[@HRNDRX]

in 9:31 the "challenge examples" in the first integral of 1/x^x the result is not the sum of 1/n^2 it's the sum of 1/n^n

[@fahrrad187]

great explanations! Could it be that you you messed up the variables i and n since the sum counted the variable i but you used n?

[@fahrrad187]

regarding minute 7:38 onwards

[@DrTrefor]

Quite right, thank you!

[@runenorderhaug7646]

I admit I like to think about the way interections within the function suggest limitations on them. For example consider this, the existence of the power rule for derivatives seems to suggest that for whole number all odd slope that are on a x of odd power will have come from a fraction and that for a whole number c that could represent any number, there is potentiolly a limit on how low it can actually be if all numbers are whole due to how power will keep multiplying up. I have a 44 page paper on the collatz conjecture, but my record of passing math classes is admittily not perfect due to several issues with hand writing and expression of knowledge on tests themselves... your channel is always a good reminder for fun. Sometimes difficult to find less known rules that you discover yourself but that makes it interesting until you want to confirm they exist already lol XD

[@YienLiu]

I know I’ve learned too much in math when I can understand everything he’s doimg

[@Brownerskull]

Can you make a playlist on series and sequences

[@DrTrefor]

Check out my calc II playlist!

[@laplace3945]

Man I wish I could just study math and physics and still live well. I hate my IT job.

[@blankj5250]

Could you tell me where you purchased that beautiful T-shirt? Plz :)

[@BarnBurnerz]

Great integral

[@derderrr7220]

i think i need to learn more algebra absolutely love it.

[@bengal_tiger1984]

This is more in the lines of analysis.

[@Inception1338]

I want to write something in between: "I am fully confused, but also satisfied now." to "pfff... Wasn't that clear in the first place?"

[@lbigmikei6788]

love the "hippotenuse" shirt

[@DrTrefor]

Thankyou!

[@EnginAtik]

It is also interesting that x^x has a minimum at x=1/e.

[@bengal_tiger1984]

It's interesting but there is a simple reason! Taking the derivative of x, we find it to be ln x+1(x^x). Now if we set it to 0 and since here 0^0=1, we see (ln x+1)(x^x) is attained when ln x=-1, so x=e^(-1)=1/e. We can verify it is a minimum by checking if f''(1/e)>0: d((ln x+1)(x^x))/dx=(ln x+1)(ln x+1)(x^x)+(1/x)(x^x)={x^(x-1)}{(ln x+1)^2+1} (feel free to correct errors!) We see this as a local minimum as when x=1/e, it turns out to be (1/e)^((1-e)/e), which is positive.

[@EnginAtik]

​@@bengal_tiger1984 I think there is a solution without assuming 0^0=1. y'/y=ln(x) +1=0 => ln(x)=-1 => x=1/e

[@EnginAtik]

And y'' = y'^2/y + y/x is always positive.

[@sergiolucas38]

Great video, you're an excellent professor :)

[@kyintegralson9656]

@ 5:45 it shouldn't be e^((-u)^(n+1)), but rather (e^(-u))^(n+1).

[@aimersclasseslko9089]

Sir Pls make a Video series On Beta and Gamma Function Seperately 🙏.

[@DrTrefor]

Good idea! I've done gamma in a few places, but beta function would be a good one.

[@putin_navsegda6487]

nice video, thank you!

[@airsquid8532]

Love your content !!

[@DrTrefor]

Glad you enjoy!

[@andrijanovoselec7971]

I think that uniform convergence justifies the commutation of series and integral, but correct me if im wrong

[@druzicka2010]

why did you transform the sum n=0 to n=infinity into sum i=0 to i=infinity at the end without change n from gamma function ?

[@brianswift3991]

At 7:44 -- I am sure it was just an oversight, the equation evaluates correctly replacing the i with n, but I was looking to see if anyone else noticed it.

[@MrCook-if5wo]

Is there a closed-form solution to the infinite sum?

[@DrTrefor]

I don't believe so!

[@bogdangarkusha8727]

you can switch order, integral of a sum is a sum of integrals 😊

[@edcify8241]

Not necessarily

[@coffeeconfessor4747]

This was a fun one. Made a good break after my finance class. Question, do you think a Fuchsian group can be rendered in 3-dimensional hyperbolic space? Since hyperbolic space is weird, and Fuchsian groups are just projections into the hyperbolic space. (Sorry, doing research on Fuchsian groups and the question has been niggling at my brain for a minute.)

[@DrTrefor]

Thank you! I have no idea, I'd have to think about that one:D

[@Risu0chan]

Eeeeh waitaminute. @8:40 The condition of absolute convergence is not a thing (it has other properties, though, such as the re-ordering of the terms). In order to swap the integral and the summation signs, you need either: 1) uniform convergence; this is the case, because the exponential series Σ y^n /n! has a infinite radius, therefore UC, and even normal convergence is guaranted on [-1,0] or whatever interval (x ln x) spans; 2) dominated convergence; on the interval [0,1], | x^x | = | exp(x lnx) | < 1 and ∫ 1 dx is well defined on [0..1] so it's ok; 3) monotonous convergence; (x lnx)^n / n! < 0 so the series is strictly decreasing as n goes to ∞, so it's ok. Forgive me if I'm completely mistaken, because it's 1 AM, I just came back from a festival, I'm exhausted and I'm doing math, ah ah.

[@toanhockhaiphong]

Very good computation ❤

[@saphir7632]

When taking eˆxln(x). Since we are working on an integral from 0 to 1, x can be egal to 0 and so ln(0) isn't define. Have we still the right to use ln in this case? Like isn't replacing xˆx by eˆxln(x) impossible since the 2nd expression isn't defined in 0?

[@mikkokormann6814]

1:18 You can't you L'Hopital here, because the limits of of numerator and denominator aren't the same, right?

[@michaelbaum6796]

Excellent explanation - great👌

[@Calculsus]

All I did was use upper rectangles. After all, it needed to be approximated either way to obtain numerical values.

[@gamerpedia1535]

I did this in a relatively easier way, although not as rigorous. Int 0-1 (x^x) x^x is e^xln(x) which can be represented as Sum(n=0,inf) of (x^n × [ln x]^n)/n! In this case the integral and summation signs can be swapped so you get Int 0-1 x^n × (ln x)^n Applying integration by parts you get = -n/(n+1) Int(0-1) (x^n (ln x)^(n-1)) Doing it again = n(n-1)/(n+1)^2 Int(0-1) (x^n (ln x)^(n-1) And by following the pattern you get (-1)^n×(n to the falling n power)/(n+1)^(n) × (Int 0-1 x^n dx) This simplifies to (-1)^n n!/(n+1)^n × (1/(n+1)) (-1)^n n!/(n+1)^(n+1) Which when we plug into the summation becomes Sum(n=0,inf) of ((-1)^n)/(n+1)^(n+1) Which can also be rewritten as Sum(1,inf) of (-(-n)^(-n)) It's easier though not as rigorous, as it makes an assumption about the pattern of the integral. However this assumption is easy to prove via induction, I just didn't wanna put that here cause it would take a little bit.

[@MyStuffWH]

Have you ever considered setting up a patreon page, or something similar? I would love to support you and this channel in a more meaningful way.

[@DrTrefor]

I actually have the KZbin channel memberships turned on, but regardless I really appreciate the sentiment!

[@arnfinos]

Love the t-shirt!

[@pradipbandyopadhyay9689]

So so elegant

[@eartphoze]

when Tom cruise flies on army planes

[@buidelrat132]

It feels like this integral 0.78343... should have some closed form solution involving trig functions and pi.

[@DrTrefor]

If only! Sadly I don’t believe it is the case here

[@buidelrat132]

@@DrTrefor The midpoint at .5^.5 being sin(pi/4) is interesting and tells me I'm missing something about how exponentials relate to rotations.

[@venkybabu8140]

Substitute x equals one then 2 then 3 Etc. Afterall integration is sum.

[@MathOrient]

Fascinating.

[@mohammadjaveed7404]

Fantastic method.

[@46swa]

Why do you not use Keppler: A = (b-a)/4 * ( f(a) + 2f((a+b)/2) + f(b)) = 0,79

[@toastyPredicament]

And he was a Dr.

[@jesili2634]

great answer thankj you

[@TrueRyoB]

this is nuts

[@nako7569]

*Casually applies the power rule*

[@bryancheung5630]

07:45 The symbol in the summation sign is wrong! It should be "n" instead of "i".

[@qpr543]

He reminds of my maths professor who used to gesticulate a lot, in funny manner. 😄

[@hoschi49]

2:02 its Not a Trick. Its the Definition.

[@danielstets8649]

When you switched the integral with the sum in the beginning even before you said it I was thinking dominated convergence theorem or monotone/bounded CT

[@derschwarzerabe9848]

good job

[@luismijangos7844]

7:57 the index in the bottom of the sigma symbol should read n=0 instead of i=0

[@derekdonner3115]

Dominated Convergence Theorem could have justified the change of limits...I mean, you just can't expect to be able to do that

[@redroach401]

7:36 isn't that pi function since gamma function would be n-1 instead of just n.

[@powerfulmath1914]

You are my inspiration Sir!

[@abe1433]

Hmmm, the last two integral challenges don't check out. 1. If the integral of 1/x^x from 0 to 1 is the summation of 1/n^2, then it equals pi^2/6 which is about 1.645...but the integral is about 1.2913, and 2. if the integral of x^sqr(x) from 0 to 1 is the summation you show, then it equals the Catalan constant (about 0.9160), but the integral is about 0.6586. Nice video though! Thanks! 🙂

[@grant1390]

Yeah - he put down results that are wrong for those two challenge examples.

[@alexandermorozov2248]

6:36 - 私はそれがどのように起こったかよく理解していませんでした - (-u)^(n+1) = -(n+1)*u ?