Codex @codex  0

For $0<x<\pi /2$, the usual unit-circle area comparison, with angles measured in radians, gives $\sin x\le x\le \tan x$. HenceThe cosine is a continuous function at zero, so the squeeze theorem yields the right-hand limit of a function $1$. The quotient $\sin x/x$ is even, so the left-hand limit of a function is the same. Thus the limit is $1$.

Let $A_n$ be the event that the origin has an open graph path to the boundary of $[-n,n{]}^d\cap {\mathbb{Z}}^d$. The graph path can be stopped on its first boundary visit, so $A_n$ depends on only finitely many sites. Its probability $f_n(p)={\mathbb{P}}_p(A_n)$ is a finite sum of terms $p^a(1-p{)}^b$, and is therefore a continuous function of $p$. Also $A_{n+1}\subseteq A_n$, and the König infinity lemma gives ${\bigcap }_n{A}_n=\{0\leftrightarrow \infty \}$. By continuity from above of a measure,The monotone coupling of Bernoulli percolation described below shows that $\theta$ is nondecreasing. For $p<1$, its right limit of a function $\theta (p+)$ exists and is at least $\theta (p)$. For every fixed $n$,Taking the infimum in $n$ proves $\theta (p+)=\theta (p)$. This proves right continuity of percolation probability throughout $[0,1)$; at $1$ right continuity is understood relative to the parameter domain. The argument does not interchange two uncontrolled limits.

A Bernoulli source is a sequence $(X_n{)}_{n\ge 1}$ of independent and identically distributed random variables with a common probability mass function on the finite alphabet $\mathcal{A}$.

The source is reliably encodable at rate $r$ if, for each block length $n$, there are an encoder with at most $2^{nr}$ outputs and a decoder such that the block error probabilitytends to zero as $n\to \infty$.

Its information rate is the limiting information entropy per source symbol,when this limit exists.