Talk:Kingman's subadditive ergodic theorem