Kingman's_subadditive_ergodic_theorem loading ...