510 reputation
38
bio website
location Paris, France
age
visits member for 3 years
seen Apr 13 at 9:35

Apr
8
answered Non-empty intersection between a compact and an unbounded connected subset of $\mathbb{R}^d$
Dec
31
awarded  Enlightened
Dec
31
awarded  Nice Answer
Dec
6
awarded  Yearling
Dec
6
awarded  Yearling
Aug
10
comment Prove : $\frac{\cos(x_1) +\cos(x_2) +\cdots+\cos(x_{10})}{\sin(x_1) +\sin(x_2) +\cdots+\sin(x_{10})} \ge 3$
Af for your P.S., try with the tag \tag{put_here_a_label} at the end of your equations.
Aug
10
answered Is there a name for this identity involving series?
Dec
21
accepted Locally Lipschitz implies Lipschitz under equivalent metrics?
Dec
21
revised Locally Lipschitz implies Lipschitz under equivalent metrics?
I had been too sloppy...
Dec
21
revised Locally Lipschitz implies Lipschitz under equivalent metrics?
Addenda
Dec
21
asked Locally Lipschitz implies Lipschitz under equivalent metrics?
Dec
11
awarded  Commentator
Dec
11
comment Neumann series in an incomplete normed algebra
@Martin. I don't care much about labels but still think that normed ring/algebras would deserve their own tag. :)
Dec
11
revised Neumann series in an incomplete normed algebra
Added example
Dec
11
comment Neumann series in an incomplete normed algebra
I'm editing the OP to add an example.
Dec
10
comment Neumann series in an incomplete normed algebra
As far as I can understand, there still exists no tag for normed algebras, and I'm not yet enabled to create a new one by myself.
Dec
10
asked Neumann series in an incomplete normed algebra
Dec
9
comment Find a closed term for $f(n) = n + 2 f(n-1)$, $f(1)=1$
@Mahoni. $f(n) = 2^n \cdot 2^{-n} f(n)$ for all $n \in \mathbb{N}^+$, right?
Dec
9
comment Correspondences between Borel algebras and topological spaces
@JDH. It's your answer that is great.
Dec
7
comment Prove or disprove an equation about Euler's $\phi$ function
Which can be conveniently shortened, under inspiration of André Nicolas' answer, recognizing that $\prod_{t \in \mathbb{P}} t^{(p-q)\;\! v_t(m)} = m^{p-q}$.