I Chernoff Bounds for Independent Bernoulli Sums

I
Thread starter WMDhamnekar
Start date Jul 20, 2023

Jul 20, 2023

WMDhamnekar

MHB

TL;DR Summary: What is wrong with this proof? Can you notice that? or I am wrong. In my opinion, in the R.H.S. of inequality (3.2), the index of 'e' must be positive if we use the proof. I also want to know how to derive the proof of inequality(3.3)? Author said it is similar to that of (3.2). But I don't understand that.

Physics news on Phys.org

Jul 21, 2023

WMDhamnekar

MHB

I cleared my doubt taking suitable guidelines from other statistician on Internet.

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

View full post »