Write the Taylor series of the entire function as
The Cauchy estimate on the circle gives
If , letting gives . Since is odd,
For the second question, suppose such an existed. It never vanishes, so is analytic on and
The Riemann removable singularity theorem extends analytically across zero with . Applying the result just proved with , , and makes a polynomial of degree at most zero. It must then be identically zero, contradicting away from zero. Therefore no such function exists.
The softplus function
is convex because
Part (b) therefore shows that every is convex. The absolute value function is convex, so is convex for every coordinate . Finally, part (a) says that a finite sum of convex functions is convex. Therefore
is convex. The second sum is the L1 norm regularizer.
Because is a linear map,
Hence composition of a convex function with an affine map is convex, and is convex.
For and , convexity gives
Taking the maximum over and then bounding each term by the corresponding endpoint maxima yields
Thus the finite pointwise maximum of convex functions is convex. Summing the original inequalities over proves that is convex as well.
The estimator is unbiased for because the independent random variables satisfy . Given , all placements of the successes are equally likely, so
Thus the Rao-Blackwellized estimator is
It is unbiased by the tower property. Since and , the event has positive probability, and conditionally on it takes both zero and one with positive probability. Hence , so the new estimator has strictly smaller variance.
The Rao-Blackwell theorem states that if is sufficient and is an estimator with finite variance, then
has the same expectation as and no larger variance; it preserves unbiasedness. The tower property of conditional expectation gives
The law of total variance gives
Sufficiency ensures that is a statistic whose definition does not depend on the unknown parameter. The inequality is strict exactly when the conditional variance is positive with positive probability.
A sufficient statistic is one for which the conditional distribution of the full sample given does not depend on . Take
For a binary sample with , its likelihood function is
which depends on the data only through . By the Fisher-Neyman factorization theorem, is sufficient. Equivalently, conditionally on , the sample is uniform over the binary vectors containing ones, independently of .
By part (a) and repeated use of the Strong Markov property, the probability of descending from to is
Starting from square 1 with £, heads moves to , whereas tails lands on square 3, loses £1, and moves to . Therefore the loss probability is
A random time is a stopping time when the event is determined by . The Strong Markov property says that, conditionally on and , the process is a fresh Markov chain started at , independent of the history before .
Use the state space , with absorbing. Observe the chain only when it is at square 2. From , the change in wealth by the next return to square 2 has distribution
Indeed, heads lands on square 3 and returns to square 2 after losing £1. After tails reaches square 4, the remaining two or three moves give the other cases.
For ,
Thus is a martingale for the embedded wealth random walk . Stopping when it first reaches or a large upper level and then letting that level tend to infinity gives
The upper-bound contribution vanishes because ; equivalently, this is the smaller probability solution of the first-step equation.
The normalized density is
For against , the sample likelihood ratio is
It is strictly decreasing in . Under , parts (a) and (b) give
If is the lower -quantile of this gamma distribution, the Neyman-Pearson lemma gives the most powerful size- critical region
For any fixed ,
is again strictly decreasing in the same statistic . Thus the same critical region is most powerful against every and is consequently a uniformly most powerful test of against .
The Neyman-Pearson lemma states that, for testing one simple hypothesis with density against another with density , a size- test that rejects for the largest values of the likelihood ratio is most powerful among all tests of size at most , with boundary randomization if needed.
For and ,
The distribution function is zero for , so this is exactly the distribution function of . Therefore
The moment-generating function of is
Independence makes the moment-generating function of the sum equal the product:
This is the moment-generating function of the gamma distribution , and moment-generating functions determine distributions in a neighbourhood of zero. Hence
Here
For , the Lipschitz bound on gives
so part (ii) applies with a constant independent of sufficiently small .
The exact solution has the Taylor expansion>
Meanwhile,
so one numerical step from is
The local error is therefore . Taking in part (ii) proves the required second-order global-error bound. This method is a two-stage Runge-Kutta method.

There are unlisted articles, also show them or only show them.