Cramér's large deviation theorem