Nielsen's arithmetic lemma: $a\prod x_i \le (a+1)^{2^r}-(a+1)^{2^{r-1}}$ · Prove2Me

P

Initializing...

Nielsen's arithmetic lemma: $a\prod x_i \le (a+1)^{2^r}-(a+1)^{2^{r-1}}$ · Prove2Me