Bounds for a nonlinear ergodic theorem for Banach spaces

We extract quantitative information (specifically, a rate of metastability in the sense of Terence Tao) from a proof due to Kazuo Kobayasi and Isao Miyadera, which shows strong convergence for Cesaro means of non-expansive maps on Banach spaces.

Automated summary

We extract quantitative information from a proof by Kazuo Kobayasi and Isao Miyadera, which demonstrates strong convergence for Cesaro means of non-expansive maps on Banach spaces.