A finitary Kronecker's lemma and large deviations in the Strong Law of
Large numbers on Banach spaces
A finitary Kronecker's lemma and large deviations in the Strong Law of
Large numbers on Banach spaces
We explore the computational content of Kronecker's lemma via the proof-theoretic perspective of proof mining and utilise the resulting finitary variant of this fundamental result to provide new rates for the Strong Law of Large Numbers for random variables taking values in type $p$ Banach spaces, which in particular are …