grandes-ecoles 2025 Q37

grandes-ecoles · France · centrale-maths1__official Proof Bounding or Estimation Proof
We have
$$I _ { n } = ( - 1 ) ^ { n } \int _ { 0 } ^ { 1 } \int _ { 0 } ^ { 1 } \frac { x ^ { n } ( 1 - x ) ^ { n } y ^ { n } ( 1 - y ) ^ { n } } { ( 1 - x y ) ^ { n + 1 } } \mathrm {~d} x \mathrm {~d} y$$
Let $n \in \mathbb { N } ^ { * }$. Deduce that
$$\left| I _ { n } \right| \leqslant \zeta ( 2 ) \left( \frac { 5 \sqrt { 5 } - 11 } { 2 } \right) ^ { n }$$
We have

$$I _ { n } = ( - 1 ) ^ { n } \int _ { 0 } ^ { 1 } \int _ { 0 } ^ { 1 } \frac { x ^ { n } ( 1 - x ) ^ { n } y ^ { n } ( 1 - y ) ^ { n } } { ( 1 - x y ) ^ { n + 1 } } \mathrm {~d} x \mathrm {~d} y$$

Let $n \in \mathbb { N } ^ { * }$. Deduce that

$$\left| I _ { n } \right| \leqslant \zeta ( 2 ) \left( \frac { 5 \sqrt { 5 } - 11 } { 2 } \right) ^ { n }$$