A minimum theorem for cyclic load in excess of shakedown, with application to the evaluation of a ratchet limit