Proving Limit Laws Calculu