Proving Limit Laws Calculus Proo