grandes-ecoles

Papers (176)
2025
centrale-maths1__official 40 centrale-maths2__official 36 mines-ponts-maths1__mp 17 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 23 mines-ponts-maths2__psi 25 polytechnique-maths-a__mp 35 polytechnique-maths__fui 9 polytechnique-maths__pc 27 x-ens-maths-a__fui 10 x-ens-maths-a__mp 18 x-ens-maths-b__mp 6 x-ens-maths-c__mp 6 x-ens-maths-d__mp 31 x-ens-maths__pc 27 x-ens-maths__psi 30
2024
centrale-maths1__official 21 centrale-maths2__official 28 geipi-polytech__maths 9 mines-ponts-maths1__mp 23 mines-ponts-maths1__psi 9 mines-ponts-maths2__mp 14 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 polytechnique-maths-a__mp 42 polytechnique-maths-b__mp 27 x-ens-maths-a__mp 43 x-ens-maths-b__mp 29 x-ens-maths-c__mp 22 x-ens-maths-d__mp 41 x-ens-maths__pc 20 x-ens-maths__psi 23
2023
centrale-maths1__official 37 centrale-maths2__official 32 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 14 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 21 mines-ponts-maths2__pc 13 mines-ponts-maths2__psi 22 polytechnique-maths__fui 3 x-ens-maths-a__mp 24 x-ens-maths-b__mp 10 x-ens-maths-c__mp 10 x-ens-maths-d__mp 10 x-ens-maths__pc 22
2022
centrale-maths1__mp 22 centrale-maths1__pc 33 centrale-maths1__psi 42 centrale-maths2__mp 26 centrale-maths2__pc 37 centrale-maths2__psi 40 mines-ponts-maths1__mp 26 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 9 mines-ponts-maths2__psi 18 x-ens-maths-a__mp 8 x-ens-maths-b__mp 19 x-ens-maths-c__mp 17 x-ens-maths-d__mp 47 x-ens-maths1__mp 13 x-ens-maths2__mp 26 x-ens-maths__pc 7 x-ens-maths__pc_cpge 14 x-ens-maths__psi 22 x-ens-maths__psi_cpge 26
2021
centrale-maths1__mp 34 centrale-maths1__pc 36 centrale-maths1__psi 28 centrale-maths2__mp 21 centrale-maths2__pc 38 centrale-maths2__psi 28 x-ens-maths2__mp 35 x-ens-maths__pc 29
2020
centrale-maths1__mp 42 centrale-maths1__pc 36 centrale-maths1__psi 38 centrale-maths2__mp 2 centrale-maths2__pc 35 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 22 mines-ponts-maths2__mp_cpge 19 x-ens-maths-a__mp_cpge 10 x-ens-maths-b__mp_cpge 19 x-ens-maths-c__mp 10 x-ens-maths-d__mp 13 x-ens-maths1__mp 13 x-ens-maths2__mp 20 x-ens-maths__pc 6
2019
centrale-maths1__mp 37 centrale-maths1__pc 40 centrale-maths1__psi 38 centrale-maths2__mp 37 centrale-maths2__pc 39 centrale-maths2__psi 46 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 9
2018
centrale-maths1__mp 21 centrale-maths1__pc 31 centrale-maths1__psi 39 centrale-maths2__mp 23 centrale-maths2__pc 35 centrale-maths2__psi 30 x-ens-maths1__mp 18 x-ens-maths2__mp 13 x-ens-maths__pc 17 x-ens-maths__psi 20
2017
centrale-maths1__mp 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 24 x-ens-maths2__mp 7 x-ens-maths__pc 17 x-ens-maths__psi 19
2016
centrale-maths1__mp 41 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 42 centrale-maths2__psi 17 x-ens-maths1__mp 10 x-ens-maths2__mp 32 x-ens-maths__pc 1 x-ens-maths__psi 20
2015
centrale-maths1__mp 18 centrale-maths1__pc 11 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 1 centrale-maths2__psi 14 x-ens-maths1__mp 16 x-ens-maths2__mp 19 x-ens-maths__pc 30 x-ens-maths__psi 20
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 36 centrale-maths2__mp 24 centrale-maths2__pc 23 centrale-maths2__psi 29 x-ens-maths2__mp 13
2013
centrale-maths1__mp 3 centrale-maths1__pc 45 centrale-maths1__psi 20 centrale-maths2__mp 32 centrale-maths2__pc 50 centrale-maths2__psi 32 x-ens-maths1__mp 14 x-ens-maths2__mp 10 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__pc 23 centrale-maths1__psi 20 centrale-maths2__mp 27 centrale-maths2__psi 20
2011
centrale-maths1__mp 27 centrale-maths1__pc 15 centrale-maths1__psi 21 centrale-maths2__mp 29 centrale-maths2__pc 8 centrale-maths2__psi 28
2010
centrale-maths1__mp 7 centrale-maths1__pc 23 centrale-maths1__psi 9 centrale-maths2__mp 10 centrale-maths2__pc 36 centrale-maths2__psi 27
2012 centrale-maths1__pc

23 maths questions

QI.A.1 Binomial Theorem (positive integer n) Prove a Binomial Identity or Inequality View
Show that $\sum _ { k = 0 } ^ { n } \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } = 1$.
QI.A.2 Binomial Theorem (positive integer n) Prove a Binomial Identity or Inequality View
Show that $\sum _ { k = 0 } ^ { n } k \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } = n x$.
QI.A.3 Binomial Theorem (positive integer n) Prove a Binomial Identity or Inequality View
Show that $\sum _ { k = 0 } ^ { n } k ( k - 1 ) \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } = n ( n - 1 ) x ^ { 2 }$.
QI.A.4 Binomial Theorem (positive integer n) Prove a Binomial Identity or Inequality View
Deduce from the previous questions that $$\sum _ { k = 0 } ^ { n } \left( x - \frac { k } { n } \right) ^ { 2 } \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } = \frac { x ( 1 - x ) } { n } .$$
QI.B.1 Binomial Theorem (positive integer n) Multi-Part Structured Problem Involving Binomial Expansions View
Let $n \in \mathbb { N } ^ { * }$ and $x \in [ 0,1 ]$. We consider the sum $$S ( x ) = \sum _ { k = 0 } ^ { n } \left| x - \frac { k } { n } \right| \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } .$$ We denote
  • $V$ the set of integers $k \in \{ 0 , \ldots , n \}$ such that $\left| x - \frac { k } { n } \right| \leqslant \frac { 1 } { \sqrt { n } }$,
  • $W$ the set of integers $k \in \{ 0 , \ldots , n \}$ such that $\left| x - \frac { k } { n } \right| > \frac { 1 } { \sqrt { n } }$, and we set
$$S _ { V } ( x ) = \sum _ { k \in V } \left| x - \frac { k } { n } \right| \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } \quad \text { and } \quad S _ { W } ( x ) = \sum _ { k \in W } \left| x - \frac { k } { n } \right| \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } .$$ a) Show that $S _ { V } ( x ) \leqslant \frac { 1 } { \sqrt { n } }$. b) Show that $S _ { W } ( x ) \leqslant \frac { x ( 1 - x ) } { \sqrt { n } }$. c) Deduce that $S ( x ) \leqslant \frac { 5 } { 4 \sqrt { n } }$.
QI.B.2 Binomial Theorem (positive integer n) Multi-Part Structured Problem Involving Binomial Expansions View
Let $n \in \mathbb { N } ^ { * }$ and $x \in [ 0,1 ]$. We consider the sum $$S ( x ) = \sum _ { k = 0 } ^ { n } \left| x - \frac { k } { n } \right| \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k } .$$ a) Write the Cauchy-Schwarz inequality in the space $\mathbb { R } ^ { n + 1 }$ equipped with its canonical inner product. b) Using question I.A.4, deduce that $S ( x ) \leqslant \frac { 1 } { 2 \sqrt { n } }$.
We denote by $\mathcal { C }$ the vector space of continuous functions from $[ 0,1 ]$ to $\mathbb { R }$, equipped with the supremum norm $\| f \| _ { \infty } = \sup _ { x \in [ 0,1 ] } | f ( x ) |$. For $f \in \mathcal { C }$ and $n \in \mathbb { N } ^ { * }$, the $n$-th Bernstein polynomial of $f$ is defined by $$B _ { n } ( f ) ( x ) = \sum _ { k = 0 } ^ { n } f \left( \frac { k } { n } \right) \binom { n } { k } x ^ { k } ( 1 - x ) ^ { n - k }$$ for all $x \in [ 0,1 ]$.
If $f ( x ) = x ^ { 2 }$ for all $x \in [ 0,1 ]$, determine, for all $n \in \mathbb { N } ^ { * }$, the polynomial $B _ { n } ( f )$ and deduce the value of $\left\| B _ { n } ( f ) - f \right\| _ { \infty }$.
QII.A.1 Sequences and Series Power Series Expansion and Radius of Convergence View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence. We assume that the associated power series $\sum a _ { n } x ^ { n }$ has radius of convergence $R _ { a } = 1$ and that the sum $f$ of this series satisfies $f ( x ) \sim \frac { 1 } { 1 - x }$ when $x \rightarrow 1, x < 1$.
Determine a real sequence $\left( b _ { n } \right) _ { n \geqslant 0 }$ such that $$\forall x \in ] - 1,1 [ , \quad \frac { 1 } { 1 - x ^ { 2 } } = \sum _ { n = 0 } ^ { + \infty } b _ { n } x ^ { n }$$
QII.A.2 Sequences and Series Power Series Expansion and Radius of Convergence View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence. We assume that the associated power series $\sum a _ { n } x ^ { n }$ has radius of convergence $R _ { a } = 1$ and that the sum $f$ of this series satisfies $f ( x ) \sim \frac { 1 } { 1 - x }$ when $x \rightarrow 1, x < 1$.
Deduce an example of a sequence $\left( a _ { n } \right) _ { n \geqslant 0 }$ satisfying hypothesis II.1 ($f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$) but not converging to 1.
Give the power series expansion of the function $t \mapsto \frac { 1 } { ( 1 - t ) ^ { 2 } }$ as well as its radius of convergence. Specify whether the series converges at the endpoints of the interval of convergence.
We consider the functions $\varphi : x \mapsto \frac { 1 } { \left( 1 - x ^ { 2 } \right) ^ { 2 } }$ and $\psi : x \mapsto \frac { 1 } { ( 1 + x ) ^ { 2 } ( 1 - x ) }$. Determine sequences $\left( u _ { n } \right) _ { n \in \mathbb { N } }$ and $\left( v _ { n } \right) _ { n \in \mathbb { N } }$ such that, for all $x \in ] - 1,1 [$, $$\varphi ( x ) = \sum _ { n = 0 } ^ { + \infty } u _ { n } x ^ { n } \quad \text { and } \quad \psi ( x ) = \sum _ { n = 0 } ^ { + \infty } v _ { n } x ^ { n } .$$ We will express explicitly as a function of $n$, according to the parity of $n$, the reals $u _ { n }$ and $v _ { n }$.
QII.B.3 Taylor series Evaluation of a Finite or Infinite Sum View
We consider $\psi : x \mapsto \frac { 1 } { ( 1 + x ) ^ { 2 } ( 1 - x ) }$ with power series expansion $\psi ( x ) = \sum _ { n = 0 } ^ { + \infty } v _ { n } x ^ { n }$ for $x \in ] - 1,1 [$. We denote $A_n = \sum_{k=0}^n a_k$ and $\widetilde{a}_n = \frac{A_n}{n+1}$.
Calculate $\widetilde { v } _ { n }$ (arithmetic mean of the numbers $v _ { 0 } , \ldots , v _ { n }$).
We consider $\psi : x \mapsto \frac { 1 } { ( 1 + x ) ^ { 2 } ( 1 - x ) }$ with power series expansion $\psi ( x ) = \sum _ { n = 0 } ^ { + \infty } v _ { n } x ^ { n }$ for $x \in ] - 1,1 [$. We denote $\widetilde{a}_n = \frac{1}{n+1}\sum_{k=0}^n a_k$.
Construct using $\psi$ an example of a sequence $\left( a _ { n } \right) _ { n \geqslant 0 }$ satisfying hypothesis II.1 ($f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$) but not satisfying property II.3 ($\lim_{n\to\infty} \widetilde{a}_n = 1$).
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$.
Show the existence of an integer $N > 0$ such that $$\forall n \geqslant N , \quad f \left( \mathrm { e } ^ { - 1 / n } \right) \leqslant \frac { 2 } { 1 - \mathrm { e } ^ { - 1 / n } }$$
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A _ { n } = \sum _ { k = 0 } ^ { n } a _ { k }$ and $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$.
Deduce that the sequence $\left( \widetilde { a } _ { n } \right) _ { n \geqslant 0 }$ is bounded above.
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A _ { n } = \sum _ { k = 0 } ^ { n } a _ { k }$, $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$, and $\mu > 0$ is an upper bound of the sequence $\left( \widetilde { a } _ { n } \right) _ { n \geqslant 0 }$: $\forall n \in \mathbb { N } , \widetilde { a } _ { n } \leqslant \mu$.
a) For all $x \in ] - 1,1 [$, show that $( 1 - x ) \sum _ { k = 0 } ^ { + \infty } A _ { k } x ^ { k } = f ( x )$. b) Deduce that for all $x \in \left[ 0,1 \left[ \right. \right.$ and all $N \in \mathbb { N } ^ { * }$ $$\frac { f ( x ) } { 1 - x } \leqslant A _ { N - 1 } \frac { 1 - x ^ { N } } { 1 - x } + \mu \sum _ { k = N } ^ { + \infty } ( k + 1 ) x ^ { k }$$ c) Deduce that for all $x \in \left[ 0,1 \left[ \right. \right.$ and all $N \in \mathbb { N } ^ { * }$ $$f ( x ) \leqslant A _ { N - 1 } + \mu \left( ( N + 1 ) x ^ { N } + \frac { x ^ { N + 1 } } { 1 - x } \right) .$$
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A _ { n } = \sum _ { k = 0 } ^ { n } a _ { k }$, $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$, and $\mu > 0$ is an upper bound of $\left( \widetilde { a } _ { n } \right)$.
Let $\lambda$ be a strictly positive real number. a) Show that there exists an integer $N _ { 0 } > 0$ such that for all $N \geqslant N _ { 0 }$, $$f \left( \mathrm { e } ^ { - \lambda / N } \right) \geqslant \frac { 1 } { 2 \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \geqslant \frac { N } { 2 \lambda } .$$ b) Show that for all $N \geqslant N _ { 0 }$ $$\tilde { a } _ { N - 1 } \geqslant \frac { 1 } { 2 \lambda } - \mu \mathrm { e } ^ { - \lambda } \left( 1 + \frac { 1 } { N } + \mathrm { e } ^ { - \lambda / N } \frac { 1 } { N \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \right)$$ c) Determine as a function of $\lambda$ the limit, when $N$ tends to infinity, of the right-hand side in the previous inequality. d) Show that there exists a real $\lambda > 0$ such that this limit is strictly positive.
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$ where $A_n = \sum_{k=0}^n a_k$.
Conclude that there exists a real $\nu > 0$ such that from a certain rank onwards we have $\widetilde { a } _ { n } \geqslant \nu$.
QII.E.1 Taylor series Piecewise/Periodic Function Integration View
Let $g : [ 0,1 ] \rightarrow \mathbb { R }$ be the function such that $g ( x ) = 1 / x$ if $x \geqslant \mathrm { e } ^ { - 1 }$ and $g ( x ) = 0$ otherwise. We fix a real $\varepsilon \in ] 0 , \mathrm { e } ^ { - 1 } [$. We define two continuous applications $g ^ { + } , g ^ { - } : [ 0,1 ] \rightarrow \mathbb { R }$ as follows:
  • $g ^ { + }$ is affine on $\left[ \mathrm { e } ^ { - 1 } - \varepsilon , \mathrm { e } ^ { - 1 } \right]$ and coincides with $g$ on $\left[ 0 , \mathrm { e } ^ { - 1 } - \varepsilon \right] \cup \left[ \mathrm { e } ^ { - 1 } , 1 \right]$;
  • $g ^ { - }$ is affine on $\left[ \mathrm { e } ^ { - 1 } , \mathrm { e } ^ { - 1 } + \varepsilon \right]$ and coincides with $g$ on $\left[ 0 , \mathrm { e } ^ { - 1 } \left[ \cup \left[ \mathrm { e } ^ { - 1 } + \varepsilon , 1 \right] \right. \right.$.
Calculate $\int _ { 0 } ^ { 1 } g ^ { + } ( t ) \mathrm { d } t$ and $\int _ { 0 } ^ { 1 } g ^ { - } ( t ) \mathrm { d } t$.
QII.E.2 Sequences and series, recurrence and convergence Properties and Manipulation of Power Series or Formal Series View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$.
Let $P$ be a polynomial with real coefficients. Show that $$( 1 - x ) \sum _ { n = 0 } ^ { + \infty } a _ { n } x ^ { n } P \left( x ^ { n } \right) \underset { \substack { x \rightarrow 1 \\ x < 1 } } { \longrightarrow } \int _ { 0 } ^ { 1 } P ( t ) \mathrm { d } t$$ We will first consider the special case $P ( x ) = x ^ { k }$, where $k \in \mathbb { N }$.
QII.E.4 Sequences and series, recurrence and convergence Proof of Inequalities Involving Series or Sequence Terms View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. Let $g$, $g^+$, $g^-$, $P$, $Q$ be as defined in II.E.1--II.E.3. For every integer $N > 0$ we set $x _ { N } = \mathrm { e } ^ { - 1 / N }$.
Establish the existence of an integer $N _ { 1 } > 0$ such that for every integer $N \geqslant N _ { 1 }$, $$\left( 1 - x _ { N } \right) \sum _ { n = 0 } ^ { + \infty } a _ { n } x _ { N } ^ { n } P \left( x _ { N } ^ { n } \right) \geqslant \int _ { 0 } ^ { 1 } P ( t ) \mathrm { d } t - \varepsilon$$ and $$\left( 1 - x _ { N } \right) \sum _ { n = 0 } ^ { + \infty } a _ { n } x _ { N } ^ { n } Q \left( x _ { N } ^ { n } \right) \leqslant \int _ { 0 } ^ { 1 } Q ( t ) \mathrm { d } t + \varepsilon$$
QII.E.5 Sequences and series, recurrence and convergence Proof of Inequalities Involving Series or Sequence Terms View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A_N = \sum_{k=0}^N a_k$. For every integer $N > 0$ we set $x _ { N } = \mathrm { e } ^ { - 1 / N }$. Let $N_1$ be as in II.E.4.
Deduce from the three previous questions that for every integer $N \geqslant N _ { 1 }$ $$1 - 5 \varepsilon \leqslant \left( 1 - x _ { N } \right) A _ { N } \leqslant 1 + 5 \varepsilon$$
QII.E.6 Sequences and series, recurrence and convergence Coefficient and growth rate estimation View
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $\widetilde{a}_n = \frac{A_n}{n+1}$ where $A_n = \sum_{k=0}^n a_k$.
Conclude (i.e., prove property II.3: $\lim_{n \to \infty} \widetilde{a}_n = 1$).