« first day (1086 days earlier)      last day (4231 days later) » 
00:00 - 19:0019:00 - 00:00

00:04
where can I find such problems people
1
Q: Bounding $U_n = \int_0^1(1-x)^n\exp(2x)\,dx$

pourjourSuppose the sequence $(U)_{n\ge 1}$ defined by $U_n = \int_0^1(1-x)^n\exp(2x)\,dx$. How can I prove that: $\forall n\in \mathbb{N}\setminus{0} \quad \frac{1}{n+1}\le U_n\le \frac{\exp(2)}{n+1}$. $\forall n\in \mathbb{N}\setminus{0} \quad2U_{n+1}=(n+1)U_n-1$ and conclude the limit. I tried to...

@AlexanderGruber Hi Grubby
What does 'conclude the limit' mean there?
@pourjour I don't know if it is useful, but this integral equals $$n!\lim_{t_{n+1}\rightarrow1}\int_0^{t_{n+1}}\cdots\int_0^{t_1} e^{2t_0}\,dt_0\cdots\,dt_{n}$$
00:22
@Charlie hiya cha li
@amWhy dude, get better.
@AlexanderGruber Thanks, Alexander - I hope to do just that :-)
@Charlie what's shakin?
@amWhy i recommend getting MSE on your phone. it's like a nicotine patch. having to type MathJAX on a tiny keyboard will really make you ask yourself which posts are worth it.
@AlexanderGruber Hah! That's good! And a good way to weed out the worthwhile posts to attend to!
(it feels ironic make nicotine patch metaphors about MSE, the thing that i used to quit smoking.)
@AlexanderGruber Hmmm, maybe time to quit MSE...
NOT!
00:32
@amWhy every time I think I should quit MSE, it's always immediately followed by "but I'm not sure how- hey, maybe that would make a good meta post!- ugh, damn it."
@AlexanderGruber Exactly. Indeed, a meta post, Amzoti can post with his current "top ten" list "How you know you're a Math.SE addict."
It's funny, and spot on!!
00:48
@StevenStadnicki I already got answers for this question but I need to get more problems like that one
01:43
Hey, if there are any teacherly types around with enough experience to figure out how to point the asker of this question in the right direction, that could be a good thing: math.stackexchange.com/questions/451457/…
They seem a bit more confused about the basic concepts than I'm able to deal with at the moment.
01:55
anyone there
02:12
@anon
Would it be "He is fat sense he never exercises", or "He is fat since he never exercises"
which spelling of sense/since is correct
since
ok thanks
kids these days
They sensed the scents since day 1.
lol
 
2 hours later…
04:13
Hi @amWhy :-)
@amWhy how are you?
:D
04:49
@anon you there?
yeah
is there somthing akin to the fundamental theorem of factorization for groups
like instead of primes for an arbitrary group G
elements that can't be decomposed into a binary operation between other elements
(removed)
all elements are invertible and can be related to each other by a unique element (via both left and right multiplication)
much like units in a field in that sense, except possibly noncommutative
to generalize FTA to groups we need to think in terms of so-called normal series
you get what's called the Jordan-Holder theorem
which recovers FTA when you restrict attention to cyclic groups
firstly, we say $1<H<K<\cdots<G$ is a composition series if the inclusions of subgroups are strict and each is a normal subgroup of the next
the "factors" of $G$ are the quotient groups $H_{n+1}/H_n$ formed between successive terms in the composition series
and JH says that the set of composition factors are unique up to multiplicity and reordering
oh wait I think I did this, when I was finding characters of groups
04:55
in particular the composition factors of a cyclic group C(n) will be prime-order cyclic groups C(p)
How is it your forming these new groups, in the composition series
what do you mean?
nvm, anon how much formal logic have you studied?
roughly none
I want to learn more mathematics specifically some abstract algebra
Should I study logic first?
05:06
there is a certain amount of logic you need to grasp on an intuitive level before you learn any kind of math. beyond that you shouldn't need anything special to start learning abstract algebra.
well I feel like I am lacking something, though sofar everything I have read is really mundane
ahh il figure it out
What have you read?
parts of a book or two
05:54
Greetings
Hi
@Argon I woke up with a strange question in my mind.
@Chris'ssis Hehe what question?
@Argon $$\lim_{n\to\infty} \frac{1}{n }\sum_{k=1}^{n} \frac{\log{(n-k+2)}}{\log(k+1)}$$
05:59
Interesting. Riemann-sum-esque
Breakfast, I will be back
06:14
Did you evaluate it?
@Argon I'm thinking of it right now. My feeling is that answer is $1$.
@skullpatrol I thought you were amWhy
@GustavoBandeira She is leaving soon.
@skullpatrol Why?
@GustavoBandeira Health reasons. (check the transcript)
06:23
Oky.
06:41
@Argon I did it, and the limit seems 1. However, I need to optimize my proof. Some things there aren't exactly in my line.
07:38
@Chris'ssis It has to be bigger than 1 since 1 is the minimum of $\int_0^1\frac{f(1-x)}{f(x)}\,\mathrm{d}x$
@robjohn you mean the limit cannot be 1? Yes, it is bigger but it tends to 1.
and that minimum is gotten by $f(x)=c$
@Chris'ssis I'd bet so
@Chris'ssis No, it tends to $\int_0^1\frac{\log(1-x)}{\log(x)}\,\mathrm{d}x$
@robjohn it converges very slow and I also had some trouble with Mathematica.
@robjohn but that integral doesn't converge. I'm not sure what you mean..
Hello, I hate to bother you guys, but I'm having a lot of trouble understanding the answer to a question I asked, but I can seem to put it in words very well. Could someone please offer me some clarification?
@Chris'ssis if that integral does not converge, then I don't think the limit exists... but I am looking at it now.
07:44
@robjohn hmmm, I admit I might be wrong. I check it again here too.
@robjohn From maple it seems it converges to something close to 1
@inkyvoyd which question and answer?
Using 10 000 terms the sum equals 1.03... and is decreasing.
@N3buchadnezzar Mathematica says the same. Actually, I'm convinced now the limit it's 1.
@Chris'ssis I am sure you tried L' hôpital
07:47
@N3buchadnezzar L' hôpital? Not really ..
You have $\infty/\infty$ so you can derive with respect to $n$..
Given that the function is analytic (Abels theorem) we can interchange the sum and the differensial. To obtain
$$ \lim_{n \to \infty} \sum_{k=1}^n \frac{1}{(n-k+2) \log(k+1)} $$
@TobiasKildetoft math.stackexchange.com/questions/450967/… - the main point I'm having trouble with understanding in the whole epsilon delta thing is why delta does not have to approach zero as epsilon approaches zero - doesn't that mean that x doesn't converge to c as f(x) converges to L?
The answerer mentions something about a monotonic delta(-) function, but to be honest I'm not in an analysis course of any sort, and I'm finding his mathematics hard to understand
@inkyvoyd no. What part of the explanation in the answer is giving you trouble?
@inkyvoyd the thing is, that given an epsilon, we need to show a delta exists with certain properties
@TobiasKildetoft After the answerer mentions continuity I get confused
in practice, this means we usually pick delta as a function of epsilon
but really, this need not be the case
07:52
@N3buchadnezzar Yeah, Mathematica seems to think so, too.
as he mentioned, if the function is constant, no matter what epsilon we are given, any delta we choose will work
That is the really confusing thing
@robjohn Using the latter series, (which converges much faster) I obtained 0.9778782994
Might be a roundoff error though..
In my quite non-rigorous calculus course I was given the common "intuitive" approaching values definition, but I can't link it to the epsilon-delta definition
I mean, if δ(ϵ) is an increasing function, how can the limit converge if delta gets bigger and bigger?
@inkyvoyd because delta is just something we need to make sure exists with certain properties
if we pick $\delta(\varepsilon)$ in the "best" way, then this measures how close around the given point we need to look for the function values to all be within $\varepsilon$ of the fixed value (the limit)
but for some functions, we can pick any $\delta$ we wish, no matter which $\varepsilon$ is given to us
07:56
@robjohn huh, perhaps Mathematica looks at that series as if it were a continuously differentiable function in $n$ and then perform the differentiation with respect to $n$.
Can you name an example where δ(ϵ) is an increasing function?
@inkyvoyd but note that once we decide to pick the "best" way, the function will not actually be strictly increasing
I suppose that might be what is causing the problems
I'm really sorry if I'm repeatedly asking why "1+1=2", but something just isn't clicking in my mind
it need not be decreasing, but it need not be increasing
one problem is that in order to define $\delta$ as a function of $\varepsilon$ properly, we need to allow the value $\infty$
since the way to define it would be as the largest possible which still satisfies the conditions (and it might be that any positive real will work)
AHHH not THAT non-thing!!!
$\infty$
08:00
Well, with the "approaching-value" intuition that most calculus courses give, to me it seems that delta must approach zero as epsilon approaches zero - am I correct, or I am getting something completely wrong?
@skullpatrol It will haunt you, forever..
@Chris'ssis Note that if we write the sum as $$\frac1n\sum_{k=1}^n\frac12\left(\frac{\log(n-k+2)}{\log(k+1)}+\frac{\log(k+1)}{\log(n-k+2)}\right)$$ each term is greater than or equal to $1$, but perhaps it is close to $1$ most of the time and the ends of the range are insignificant.
@inkyvoyd you are missing what the meaning of the $\delta$ is
it is how close we "need" to go to the point in order to have aproached the limit sufficiently (sufficiently meaning compated to the given $\varepsilon$)
but from some point, it might be that we don't need to get any closer to have approached sufficiently
@robjohn yeah, that seems right. Nice way of putting things.
note however, that in most cases, we will indeed have $\delta(\varepsilon)$ approach $0$
the cases where this does not happen are those where the function is constant in some neighborhood of the point we look at
08:05
@Chris'ssis Howmany terms did you check ?
@Chris'ssis but looking at the plot of $\frac{\log(1-x)}{\log(x)}$ that does not seem to be the case.
@N3buchadnezzar the first 1000000 terms.
The sum may have a limit due to the ends not blowing up since the sum is not the integral, but I find it hard to see the sum limiting to $1$
We should really use more scientific notation..
08:06
@N3buchadnezzar it converges very slow.
@Chris'ssis It took matlab 1 sec to calculate the first 10^6 terms.
@N3buchadnezzar maybe you have a good computer :-)
The crappiest :p Cant even run minecraft on ultralow
@robjohn right. The limit is 1.
@Chris'ssis to add that many terms something like Euler-Maclaurin is probably used, and that might be where the error is creeping in. I have to look at my reasoning more closely.
@Chris'ssis I need to convince myself that that is true, and that the same summation method is not fooling both Mathematica and maple
08:09
@TobiasKildetoft That statement about delta helped make things a bit more clear to me - do you know of any examples where delta actually increases as epsilon decreases?
@robjohn the limit is definitely $1$.
ok
@Chris'ssis what is your reasoning?
I think the squeeze theorem is the best way. Combining Cauchy-Buniakovski-Schwarz inequality + Stirling formula + Stolz theorem, led me to the conclusion that in the right side I get $1$.
I think I can prove it has to be greater than 1
@Chris'ssis I will write up my proof, which is quite convincing to me.
@robjohn hehe, I like you wanna convince yourself. I like this attitude. I always do the same. :-)
OK
@robjohn the left side can be got by $AM-GM$.
08:14
@Chris'ssis I am sure the limit is greater than $1$, if the limit exists at all.
@robjohn I'm definitely sure it's $1$. (100%)
:-)
@inkyvoyd if we define it to be the largest $\delta$ that satisfies the requirements, then it can not be strictly increasing
We are talking about $$\lim_{n\to\infty}\frac1n\sum_{k=1}^n\frac{\log{(n-k+2)}}{\log(k+1)}$$ right?
@robjohn right.
Okay, look at the plot of $\frac12\left(\frac{\log(1-x)}{\log(x)}+\frac{\log(x)}{\log(1-x)}\right)$
08:17
@TobiasKildetoft the example that the answerer to my question mentioned a monotonically-nondecreasing function δ(-). Is that something "close" to what I'm searching for?
It is 1 only near $x=1/2$
10^7
S = 1.005346172816404e+00
The average of that function over any set of values other than $k=\frac{n+3}{2}$ is greater than $1$
@inkyvoyd hmm, I think that might have been a typo and he meant not strictly increasing
Ah, I see a problem here...
heh.... I boobooed
08:20
:-)
Sorry, I've just driven for 6 hours through the desert and I need to be careful :-)
From LA to Mammoth
@TobiasKildetoft Aren't they equivalent?
@robjohn hehe, it's OK. When I'm tired I'm not able to do anything. :-)
@inkyvoyd no, he said nondecreasing, which is certainly not the same
(and the function can certainly be strictly decreasing)
@Chris'ssis The sum is the Riemann sum for $$\int_0^1\frac{\log(1-x)+\log(n)}{\log(x)+\log(n)}\,\mathrm{d}x$$ and that definitely tends to $1$
08:24
@TobiasKildetoft Regardless of the function δ(ϵ), as epsilon gets smaller, x approaches c, correct?
@inkyvoyd not really
or maybe rather, x approaching c is precisely our setup
so saying it happens is a bit meaningless
@TobiasKildetoft So our premise is that x approaches c?
@inkyvoyd not quite
@Chris'ssis That is, the Riemann sum for $$\int_0^11\,\mathrm{d}x$$
@robjohn right.
08:26
@inkyvoyd remember that a limit is formulated as "y approaches L when x approaches c"
(and is then defined in a specific way)
@Chris'ssis I was forgetting the $\log(n)$ component
so the phrase "x approaches c" does not really mean anything in itsself
@TobiasKildetoft So, the question (which I'm sure is irrelevant or flawed) that I keep asking is how does x approach c if delta can increase?
ahh, I guess the answer is to some extend that it does not
I'm assuming it has something with me still not getting the meaning of delta
08:28
@robjohn yeah, now it's clear.
@inkyvoyd I guess one thing that might be part of the confusion is that if the function does approach some value, then we can actually pick $\delta(\varepsilon)$ to be strictly decreasing and having it converge to $0$
the reason is that if some $\delta$ works for a given $\varepsilon$, the any smaller number will also work.
@TobiasKildetoft In the case of the constant function though, any delta can be picked for any epsilon - but if the deltas chosen are larger and larger, then how can x possible approach c? Or is it rather that as x gets closer and closer to c, the requirements are still always met?
delta is not x.
@inkyvoyd $\delta$ specifies in what area of $c$ we look
and the requirement is that we look close enough around $c$ that in this area, the function is close to L
@TobiasKildetoft ...and has nothing to do with the distance x is from c, correct?
08:41
@inkyvoyd $\delta$ is precisely the largest distance from $c$ we will look (ie, allow $x$ to be)
@TobiasKildetoft I think you've given me all the information I need to know at least twiceover. I'll give it a night and read over it again; hopefully something will click. Thank you very much for your time and patience!
please do not accept answers right away that you do not understand
anon, if you are talking about the question I asked, I didn't accept it right away, but I definitely don't understand it completely
"right away" = within 24 hours, at least
Should I uncheck it?
08:47
yes
ohlawd, you didn't even wait for amwhy to formally leave
@inkyvoyd Give others, who visit the site once a day, a chance...
I am speaking about early-checking being a disservice OPs do to themselves, not about fairness for potential answerers.
@skullpatrol Okay - I am off to bed - thanks for the notice as well anon
 
2 hours later…
10:53
When was the background text in the comment field changed? Now it reads "Use comments to ask for more information or suggest improvements. Avoid comments like"
Seems like someone changed the text to something longer than allowed
I noticed that they have too long default text in the birthday field when editing user settings.
11:59
Hello? Anyone around?
@amWhy Hello
Still there?
Wassup?
@JayeshBadwaik Hello! Just an earliesh (in my day) hello. I'm off to my first day at the hospital (I'll be occupied with lots of days at the hospital for tests, treatment, for awhile, so won't be around so much!) Good time for some extra-curricula reading on my part.
@amWhy Ahh, I see. I hope you remain in good health.
@JayeshBadwaik I've just procrastinated on taking care of my health. So now's a good time to regain some balance, and stay the course.
@amWhy Good. :-)
12:13
@JayeshBadwaik I understand the mixed feelings of a "laptop" switch/replacement. ;-)
@amWhy Hehe. It had a lot of stuff a newer laptop is never gonna have. The IR remote, the touch media keys.
@JayeshBadwaik A little (embarrassing) secret: I've got a "kick-ass" laptop still in the box it was shipped in, yet to be tapped (6 months now) - just because of my attachment to my current (weaker) laptop and netbook. Plus, sheer procrastination on the task of transferring data, and installing the loads of software I have!
@amWhy Hehehehehe. Not for me. I use linux, just copy the hard disk with a single dd command and you are good to go with your new laptop. :-)
@JayeshBadwaik Maybe I will go linux!
@amWhy You should!
12:21
@JayeshBadwaik Do you ever participate in the associated stackexchange for Linux/Unix?
@amWhy I just read many times.
Not an active participant.
I am an occasional user of superuser.com
@JayeshBadwaik What is superuser.com geared for?
Its in general about software/hardware.
Not linux specific.
Same goes for serverfault.com
I've go a laundry list of sites to check out: Tex, Philosophy, etc...and now, superuser, too.
...and mathematica, and....
Hahahahaha
12:27
Maybe we need a site "superstackexchangeuser.stackexchange.com"
Hmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm.
:P
12:41
Who do you prefer, Batgirl or Catwoman?
Depends on whether your profile picture is authentic or not. :P
@FrankScience Hey, long time no see.
Sexist!
@Batgirl Yup, you guessed it. ;-)
I have a question. What book were you reading when you were asking about the problems with Riemann Integration? We are doing Riemann Integration now and I would like to have some problems the kind of which you were solving then.
@Batgirl What do you do? Math student? (I saw your answers so you are not trolling.)
@JayeshBadwaik I'm learning algebra.
@FrankScience I see. What in it?
12:53
@JayeshBadwaik Group theory, ring theory and field theory.
Cool.
(Sorry to be persistent, but did you see my questions about Riemann Integration?
I mistakenly addressed it to Batgirl I think)
(Two lines above)
No, I didn't.
I can't see any links.
No, no links
This text basically
I have a question. What book were you reading when you were asking about the problems with Riemann Integration? We are doing Riemann Integration now and I would like to have some problems the kind of which you were solving then. Where the upper limits and lower limits might not converge and similar.
@robjohn did you see Aryabhata's proof here? math.stackexchange.com/questions/307028/…. Every time I see it I feel creeps ... I'm totally amazed by the power of AM-GM. Far, far too beautiful to be true.
13:12
@Chris'ssis I miss a lot of good questions. Both of the answers are nice. I must see if I can find another.
@JayeshBadwaik What problem?
@Chris'ssis AM-GM is just the convexity of $e^x$
@robjohn glad you like it. Actually, Stolz theorem came to my there, but nothing more. When I saw that proof ... wow ... it's like then one sees God for a second. :-)
In short, mind-blowing stuff.
@FrankScience Here
@JayeshBadwaik I was reading Rudin. However, that one is just of my own, something conceived when I was reading the proof on Rudin and thinking.
13:18
@FrankScience Ahh, I see.
13:32
@JayeshBadwaik Stein's series of analysis is good.
@FrankScience I see.
 
1 hour later…
14:47
@ImanBahmani Hello
15:06
sup?
Nothing much
Fasting
What about you?
Dinner =)
Been panting the house for a good 5 hours now
Painting?
painting yeah
15:15
Whee, rep-capped by 11 AM
@Arkamis Could do better
Its true.
Sunny day?
@saadtaame Bloody sunday
It's actually quite pleasant today.
Finally a reasonable temperature. Low humidity.
15:18
Here it is buttwarm -_-
It's interesting the series (just created) $$\lim_{n\to\infty} \sum_{k=1}^{n-1} \frac{1}{e^{\frac{k}{1-k/n}}}$$
This makes me think of a more general case for the limits of this type.
10^6
S = 1.006446002458491e+00
==========
10^7
S = 1.005346172816404e+00
==========
10^8
S = 1.004608247696222e+00
==========
10^9
S = 1.004078196679281e+00
==========
10^10
S = 1.003678414287143e+00
==========
10^11
S = 1.003365630930215e+00
==========
10^12
@N3buchadnezzar the series above is a different series from what I posted a few hours ago.
Do you guys watch anime?
@Chris'ssis I know, just gave you a progress report from matlab ^^ Takes a few hours to run the series to 10^12 terms.
@saadtaame more an anime-movie guy, and manga reader.
15:23
Just having a conversation
@N3buchadnezzar thank you. That limit was clarified. It's precisely 1.
@N3buchadnezzar Last watched anime-movie?
@saadtaame Can't remember, It might have been when I rewatched Naüsicaa: Valley of the winds.
@N3buchadnezzar That's a lot :D
I'm watching hunter x hunter the series
15:29
@saadtaame Check how much manga I have read, the amount of anime is but a mere drop in the ocean in comparison. ;)
@Chris'ssis $$ \int_1^2 \frac{\arctan x}{\arctan \left( \frac{1}{x^2-3x +3} \right) }\,\mathrm{d}x $$
Yes I figured the address
:D
Not been updated in ages though.. Thinking about watching the Berserk movies soon though.
I wonder if there are video games with anime-like graphics. That'd be nice
@N3buchadnezzar Now I try to see how one can prove that for series like the one above that $k/n$ adds no contribution.
@N3buchadnezzar I refer to this one $ \displaystyle \lim_{n\to\infty} \sum_{k=1}^{n-1} \frac{1}{e^{\frac{k}{1-k/n}}}$
15:57
hi
who can help me?
Hi every body
IS $\Bbb{Z}_{m}=\Bbb{Z}/m\Bbb{Z} $ for $m\in \mathbb{N}$?
@ImanBahmani Yes.
16:32
Thanks
 
1 hour later…
17:56
LOL, the new comments says "Avoid comments like "+1" or "Thanks" !
What will they think of next?
>8(
1 hour ago, by Iman Bahmani
Thanks
Avoid comments like this^
My factorial sum answer has generated too many upvotes! Too bad I can't enqueue the rep
Your football team has generated too many down votes! Too bad there exists a team called the NY Giants ;-)
ouch!
Low blow!
This is Raider football, we kick'em while they're up and we kick'em while they're down.
18:12
And Raiders know something about kicking people who are in jail, too.
Yep, the team has always been an "outlaw."
Hi @Charlie how are you?
Hello boys and girl. I said hello boys and girl
Who is the girl?
@skullpatrol I'm fine, and you?
@Charlie Fine thanks.
18:19
@Arkamis just to make sure.... We never know
@Arkamis Tom Brady.
;-)
@skullpatrol haha
@Charlie Ooh you know who that is?
@skullpatrol I think I do
@skullpatrol Um, he's married to one of the most popular Brazilians in the world!
@Charlie Tom Brady is Gisele Bundchen's husband. Tom Brady is also the greatest quarterback of all time.
18:22
@Arkamis STOP IT!!!
Shes the best top model ever
That's it. I am leaving >8(
@Arkamis that's why I know him
@skullpatrol nooo
@Arkamis There can be no "greatest of ALL time" in the NFL.
The game has changed tooooooo much...
Tom Brady is so great that the probability of any future QB surpassing him is zero.
18:26
How do you KNOW that?
the future...
The gods spake destiny when the Tuck Rule was called.
Ow...
@Charlie what?
@skullpatrol nothing
@Charlie you don't like my avatar?
18:32
@skullpatrol it's ok
@Charlie amWhy should be remembered for all the great work she did here.
IMO
:-(
So did Jasper
And others as well
Yes.
I like the color too...
...and the blurriness of it.
18:37
Always hated that song when I was younger. Not sure why.
How 'bout now?
@skullpatrol 7.0
@Charlie fair enough.
The more you get kicked around in life, the more you will appreciate the song.
, my vacation is almost over
How long were you off?
18:41
One month
Not much of a "vacation" considering all that has happened.
vacation, what's that?
@skullpatrol exactly
I never got sfo physically and emotionally exhausted as I did this month
@Arkamis Here you can at least read about it ;-)
@Charlie What did you do?
18:48
@Arkamis ow... We spent lots of time in the hospital, my grandpa was there. This monday he finally found peace.
Aww, I'm sorry @Charlie
@Arkamis thank you Ed.
^ridiculous
@skullpatrol geez
58 mins ago, by skullpatrol
What will they think of next?
00:00 - 19:0019:00 - 00:00

« first day (1086 days earlier)      last day (4231 days later) »