Strong Birkhoff Ergodic Theorem for subharmonic functions with irrational shift and its application to analytic quasi-periodic cocycles - Kai Tao (2018)