1,437 reputation
823
bio website about:blank
location Berlin, Germany
age 19
visits member for 3 years, 3 months
seen 12 hours ago

I'm a highschool student from Germany interested in functional programming, especially Haskell.


Oct
24
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
@Gortaur: Well, that's not that difficult. You just need to find a geometrical interpretation of sine and cosine.
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Sorry for that.
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Thank you very much. I know that proverb, but I really wasn't able to find that out on my own.
Oct
23
accepted How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Hm... But now, how to prove that $\cos$ is continuous? (Read the question!)
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Okay. I had a look at the link Yuval provided. That proof works. Anyway, thanks for the effort.
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
But how to prove that $\sin x<x<\tan x$?
Oct
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
@mixedmath Sorry. That was indeed a typo.
Oct
23
asked How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
Oct
23
revised How do I prove $f (n) = \omega(2^n)$ if $f(n) = n!$?
add latex. w -> \omega?!?
Oct
23
suggested suggested edit on How do I prove $f (n) = \omega(2^n)$ if $f(n) = n!$?
Oct
12
revised Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
added 119 characters in body; edited tags
Oct
12
comment Finding the number of newspapers
@Ramana It seems so, though I can't prove it.
Oct
10
comment A Tricky Limit: $(1 - \frac{c}{n}\log n )^{1-n}$
Wolfram Alpha says, $\lim_{n\to\infty}(1-\frac cn\log n)^{1-n} = \infty$...
Oct
10
comment Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
The number even appears on oeis.org as A048651
Oct
10
comment Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
It seems that there is something called $q$-Pochhammer symbol, such that $\prod^n_{k=1}(1-2^{-k})=(1/2;1/2)_n$. It seems that this actually converges: $(1/2;1/2)_\infty=0.2887880950866\dots$
Oct
10
accepted Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
Oct
9
comment Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
Sorry, I mistyped... It seems to converge to 0.288788..., but it might also be that it just falls infinitly, but extremly slow.
Oct
9
comment Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular
At a glance from the plot, it seems that this function converges to something above 0.28; is that possible? And if not, is it possible to give asymptotics?
Oct
9
asked Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular