For questions about the evaluation of finite products, or their properties. For infinite ones, use "infinite-products" tag.

learn more… | top users | synonyms

1
vote
2answers
57 views

Limit $\lim_{k\to\infty}\prod_{m=2^k}^{m=2^{k+1}} {\frac{2m}{2m-1}}$

Does $$\lim_{k\to\infty}\prod_{m=2^k}^{m=2^{k+1}} {\frac{2m}{2m-1}}$$ exist? Wolfram alpha gives numbers around 1.4
10
votes
1answer
444 views

New Year Combinatorics

In the spirit of the festive period and in appreciation of the encouraging response to my X'mas Combinatorics problem posted recently, here's one for the New Year! Express the following as a ...
3
votes
1answer
124 views

Proving the inequality $ \left|\prod_{i=0}^n \left(x - \frac{i}{n}\right)\right| \le \frac{n!}{4n^{n+1}}$

Let $n \in \Bbb{N}$ and $x \in [0,1]$ prove $$ \left|\prod_{i=0}^n \left(x - \frac{i}{n}\right)\right| \le \frac{n!}{4n^{n+1}}$$ I manage to show that $\left| (x-\frac{n-1}{n})(x-\frac{n}{n})\right| ...
0
votes
2answers
68 views

Solve $p_4(x) = x^4 −(2m + 4)x^2 + (m−2)^2 $such that $p_4$ is a product of two non-constant integer-coeficient polynomials

I'm having trouble getting the starting idea for a problem I've been presented with: I need to find values for m (integer) such that the following polynomial $p_4(x) = x^4 −(2m + 4)x^2 + ...
1
vote
1answer
56 views

An inequality for the product $\prod_{k=2}^{n}\cos\frac{\pi }{2^{k}}$

I have this hint from old question of mine if someone could help me to understand it Sequence $0\leq a_{n}-l\leq \dfrac{\pi^{2} }{2^{2n+1}}$ for the first question it's easy to see that a_n is ...
1
vote
1answer
64 views

Preferred way to write elements of the direct sum of vector spaces

Suppose $V$ and $W$ are vector spaces over the same field and $V\oplus W$ is their direct sum. Reading through the literature I found essentially two ways of writing elements of $V\oplus W$. 1.) We ...
1
vote
0answers
77 views

How to prove taht a product of two complete residue system is not a complete residue system?

Claim. Let $n$ be a natural number and $A=\{0,1,2,3,\cdots,n-1\}$ be a complete set of residues modulo $n$. Let $\sigma$ be a permutation of $A$. Show that the set $C=\{\sigma(i)i:i\in A\}$ is not a ...
1
vote
1answer
53 views

Evaluate this infinite product involving $a_k$

Let $a_0 = 5/2$ and $a_k = a_{k-1}^{2} - 2$ for $k \ge 1$ Compute: $$\prod_{k=0}^{\infty} 1 - \frac{1}{a_k}$$ Off the bat, we can seperate $a_0$ $$= -3/2 \cdot \prod_{k=1}^{\infty} 1 - ...
-1
votes
1answer
51 views

Generalized Holder Inequality

Let $a_i \in \mathbb R^n$ with $a_i = (a_{i}^j)_{j = 1 ... n} = (a_{i}^1, ... ,a_{i}^n)$ for $i = 1, ... , k$ and let $p_1,...,p_k \in \mathbb R_{>1}$ with $\frac1{p_1}+ ... + \frac1{p_k} = 1$ ...
1
vote
3answers
100 views

Factorial inequality $2!\,4!\,6!\cdots (2n)!\geq\left((n+1)!\right)^n$ using induction

I want to show $2!\,4!\,6!\cdots (2n)!\geq\left((n+1)!\right)^n.$ Assume that it holds for some positive integer $k\geq 1$ and we will prove, $2!\,4!\,6!\cdots (2k+2)!\geq\left((k+2)!\right)^{k+1}$. ...
5
votes
2answers
105 views

Study the convergence of $\sum_{n=1}^{\infty}{\prod_{k=1}^{n}{\sin (k)}}$

Can you help me to study the convergence of the following series: $$\sum_{n=1}^{\infty}{\prod_{k=1}^{n}{\sin (k)}}$$ Thanks.
8
votes
0answers
340 views

Two (strictly related) proofs by induction of inequalities.

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
3
votes
1answer
74 views

Is the term “telescoping product” well known?

I know that "telescoping series" (or sum) is well known. But I can't find many reliable references to the term "telescoping product". It would be one of the following: $x_i = \dfrac{y_i}{y_{i+1}}$: ...
1
vote
0answers
72 views

Summation verification

I have a particular polynomial $$ 1-10x+35x^2-50x^3 $$ Which can be written nicely as $$1-(1+2+3+4)x+(1\cdot2+1\cdot3+1\cdot4+2\cdot3+2\cdot4+3\cdot4)x^2$$ ...
2
votes
1answer
89 views

Improvements of Dusart's lower bound for $ e^\gamma \log x \prod_{p\le x} \frac{p-1}{p}$.

Let $\gamma$ be the Euler-Mascheroni constant. In this paper (Theorem 6.12) it is proved that for $x\ge 2793$, $$ e^\gamma \log x \prod_{p\le x} \frac{p-1}{p}> 1-\frac{1}{5 \left(\log ...
2
votes
0answers
41 views

How the second form of following equation is derived form first form (i.e. given first line, what are the steps involved in writing second line

How the second form of following equation is derived form first form (i.e. what are the steps involved in writing second line)
1
vote
0answers
39 views

Is there a name for expressions of the form $\sum_{i=1}^N \prod_{k=1}^i a_k$?

Is there a name for expressions of the form $\sum_{i=1}^N \prod_{k=1}^i a_k$? If so, where can I find the equivalent of a Wikipedia entry?
5
votes
1answer
104 views

With $N$ a constant $>0$, show $\prod_{p<x}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}$.

Related. Show that if $x$ is large enough,$$\prod_{\substack{p<x \\ p \ \text{prime}}}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}.$$ Speaking of which, Theorem 6.12, and maybe others, of this ...
8
votes
2answers
448 views

Evaluation of $\prod_{n=1}^\infty e\left(\frac{n}{n+1}\right)^{n}\sqrt{\frac{n}{n+1}}$

During my calculation I ended with the following product: $$P=\prod_{n=1}^\infty e\left(\frac{n}{n+1}\right)^{n}\sqrt{\frac{n}{n+1}}$$ I tried to express in term of series by taking the logarithm ...
2
votes
1answer
139 views

Is $\frac{1}{e^\gamma\log x} \prod\limits_{p < x,p\,\text{prime}} \frac{p}{p-1}<1+ \prod\limits_{p<x,p\,\text{prime}}\frac{1}{p^{n+1}-1}?$

Let $n$ be an initially arbitrarily large variable, but always decreasing (and more specifically non-increasing) to exactly $1$ when $p$ is the largest prime in the product. Then, denoting with ...
0
votes
2answers
104 views

What's the name of this strange inequality?

There is an inequality: $$\sqrt[n]{\prod_{i = 1}^{n}{(a_i+b_i)}} \geq \sqrt[n]{\prod_{i = 1}^{n}{a_i}} + \sqrt[n]{\prod_{i = 1}^{n}{b_i}}$$ which I even don't know its name. I'd like to have an ask ...
3
votes
0answers
40 views

How I can calculate this product

How I can calculate this product: $$s=∏_{j=1}^{p-3}\sinh^2[2^{j-1}\cosh^{-1}( 2)]$$ for a natural number $p>3$.
0
votes
2answers
39 views

$S$ nonempty finite subset of group $G$ for which $SS=S$. $S$ is subgroup.

Let $S\subset G$, $S$ finite and nonempty, $G$ group. Suppose additionally that $$SS=\{s_1 s_2: s_1\in S, s_2 \in S\}=S.$$ How can I prove that $S$ is a subgroup of $G$? Does this hold for $S$ ...
3
votes
1answer
130 views

Other proof for tensor product equal to zero (without use Nakayama lemma and Jacobson radical)

Let $R$ is commutative local ring, $M$ is $R$-module, $N$ is $R$-module. If $M,N$ are finitely generated, how to prove: $M \otimes_R N=0$ if and only if $M=0$ or $N=0$. If we delete the ...
6
votes
9answers
142 views

Why is empty product defined to be $1$? [duplicate]

For example $\prod_{2 \le j < 1} 2^j= 1.$ How does that happen?
1
vote
0answers
103 views

Counterexamples in $R$-modules products and $R$-modules direct sums and $R$-homomorphisms (Exemplification)

Q: (Exemplification) Do examples family of $R$-modules like $\{M_i\} , \{N_i\}$ and $R$-modules like $M,N$ such that every of four question in underline is true. (in other word for every question ...
2
votes
2answers
98 views

Idea for primality testing based on a trigonometric product

This is an idea that I had about 3 months ago. I tried some college professors, they didn't care. I tried to solve, but with no luck. I ask for help to find the closed form of the following product ...
5
votes
2answers
111 views

Characterize the type of sequence that satisfies $\prod (1-a_i) \leq c$

Consider a product $\prod_{i=1}^{n} (1-a_i)$ where $n\leq \infty$ and $a_i\in [0,1)$ for all $i$. I'm hoping to see if there exist conditions on the sequence $\{a_i\}$ so that $$\prod_{i=1}^{n} ...
0
votes
1answer
37 views

Recurrence relation for the coefficients of the polynomial $p_n(x) = \prod_{i=0}^{n-1}(x-i)$

Let's consider the polynomials $$ p_n(x) = \prod_{i=0}^{n-1}(x-i)=\sum_{i=1}^{n} a_{n,i}x^i$$. for all $n \in \mathbb{N}$. If $n=1$, then $p_1(x) = x$ and $a_{1,1} = 1$. Since I know that: ...
0
votes
1answer
362 views

Theorem? For any sets A, B, C, and D, if A x B is a subset of C x D then A is a subset of C and B is a subset D.

  Is the following proof correct? If so, what proof strategies does it use? If not, can it be fixed? Is the theorem correct?   Proof. Suppose A x B is a subset of C x D. Let a be an arbitrary element ...
1
vote
1answer
58 views

The limit of products of the form $(n^3-1)/(n^3+1)$

Calculate $$\lim_{n \to \infty} \frac{2^3-1}{2^3+1}\times \frac{3^3-1}{3^3+1}\times \cdots \times\frac{n^3-1}{n^3+1}$$ No idea how to even start.
15
votes
2answers
303 views

How to compute the following integral in $n$ variables?

How can the following integral be calculated: $$ I_n=\int_0^1\int_0^1\cdots\int_0^1\frac{\prod_{k=1}^{n}\left(\frac{1-x_k}{1+x_k}\right)}{1-\prod_{k=1}^{n}x_k}dx_1\cdots dx_{n-1}dx_n $$ There should ...
3
votes
1answer
43 views

How to calculate the product of a set

How can you calculate the product of a set $A$, denoted by $\Pi A$ and defined by $\forall z \in \Pi A(z \subseteq \bigcup A \wedge \forall y \in A (\exists x (z \cap y = \lbrace x \rbrace))) $ ...
3
votes
1answer
103 views

Product of ergodic transformations

I'm asked to give an example, that the product of two ergodic systems is not ergodic in general. I know that for $X_1=X_2=(S^1,B,m,R_a)$ (the irrational rotation on the unit circle with Lebesgue ...
1
vote
2answers
56 views

relationship between multiplication and correlation

is there a deep interpretation of multiplication as correlation? is this in some sense the most fundamental way to "combine" objects (eg numbers) into products? my reasons for asking are that the ...
1
vote
0answers
83 views

Simplify the product of two sums

How can I simplify the following product of two sums: $$ \biggl(\, \sum ^{n}_{k=0}a_{k}\biggr) \biggl(\, \sum ^{n}_{k=0}\dfrac {1}{a_{k}}\biggr) $$
4
votes
2answers
82 views

Product rule for Hessian matrix

Let $f: \mathbb{R}^n \to \mathbb{R}$ and $g: \mathbb{R}^n \to \mathbb{R}$. Is there a general formula for the Hessian matrix of their product? That is, what is $H(f(x) g(x))$, where $H(f(x)) = ...
0
votes
0answers
53 views

Product of dot products of two vectors

I have a product of innerproduct/dot product of two vectors. $ \langle u_i,v_j \rangle\cdot\langle x_i,y_j\rangle$. Is there any transformation/decomposition such that I can combine $u_i$ with $x_i$ ...
-1
votes
3answers
42 views

Product of inner products

Is product of innerproduct again a inner product of two vectors? For example - Is $ (< u,v >)(< x,y >) = < m,n > $? And if yes is m and n unique and how do we calculate those?
3
votes
1answer
106 views

Resemblance between product and homotopy

The notion of product $X\times X$ for an object $X$ of a category $C$ resembles the notion of homotopy between two continuous functions. Indeed the relevant diagrams look the same: ...
0
votes
1answer
77 views

Definition of a coproduct and its universal property - connection?

I have a problem connecting the definition of a coproduct with its often mentionend universal property. Let's start with the definition (just for two objects): Let $A_1$ and $A_2$ be objects of a ...
1
vote
0answers
42 views

Can I do the following when solving my integration??

I appreciate any feedback for my question. I have an integration as follows $$\int_{-\pi}^{\pi}\frac{1}{2\pi} \prod_i \frac{1}{1+ x_ig(\theta)} d\theta $$ I have that $g(\theta)$ is the defined as ...
0
votes
0answers
75 views

Help in writing a nasty expression in nice closed form

This question is abouting re-writing a product in nice closed form. I have the following $$f(v_1) = \left(\sum_{i=1}^K \pi \lambda_i \delta_1 v_1^{\delta_1-1} P_i^{\delta_1} e^{-\beta_i ...
1
vote
3answers
47 views

summation and product of sin and cos

I wonder how to find summation for $\displaystyle \sum_{k=0}^{n-1}(\cos{\frac{2\pi k}{n}+i \sin\frac{2\pi k}{n}})$ and the same for product $\displaystyle \prod_{k=0}^{n-1}(cos{\frac{2\pi k}{n}+i ...
0
votes
1answer
105 views

Product of roots of unity

Does somebody have a nice proof of the following? $$\prod_{m=1}^{n-1} \frac{e^{2\pi i k m/n} - 1}{e^{2 \pi i m / n} - 1} = \begin{cases} 1 & \text{ if $\gcd(k, n) = 1$} \\ 0 & ...
1
vote
0answers
29 views

Product notation $\prod$ when product does not commute [duplicate]

This is kind of a dubious question, but is the product notation $\prod$ often used in noncommutative rings? For example, if $M_i$ are matrices, I guess the common definition of $\prod$ is $$\prod_i ...
1
vote
2answers
47 views

Proofs of identity for product of binomial coefficients

While verifying my answer to another question, I came across a problem of binomial coefficients: Does $\hspace{.2cm}\displaystyle \prod_{k=1}^{n-1}\binom{n-1}{k}=\prod_{k=1}^{n-1}k^{2k-n}$ for all ...
4
votes
2answers
81 views

Show that $k^a=\sum_{m=1}^b\left ( c_m^a\prod_{n\neq m} \frac{k-c_n}{c_m-c_n} \right ).$

I used the following result in another post without providing proof (because I couldn't prove it): $$k^a=\sum_{m=1}^b\left ( c_m^a\prod_{n\neq m} \frac{k-c_n}{c_m-c_n} \right ),$$ where $a$ and $b$ ...
0
votes
1answer
45 views

What does $ \prod_{i = 2}^{ n-1} \frac{1}{i}$ converge to?

What does $ \prod_{i = 2}^{ n-1} \frac{1}{i}$ converge to? It boils down to $\frac{1}{2} * \frac{1}{3} * \frac{1}{4} * ... * \frac{1}{n-1}$ But is there a direct formula that gives me the same ...
8
votes
1answer
296 views

Olympiad problem: Erdos-Selfridge

The following problem is a special case of Erdos-Selfridge theorem: http://projecteuclid.org/euclid.ijm/1256050816 Problem: Prove that for any positive integer $n$, the product $(n+1)(n+2)...(n+10)$ ...