Checkpoint 3 Answer

`int_0^(oo) re^(-rt) dt` `= lim_(T rarr oo)  (-e^(-rt))|_0^T`
  `= lim_(T rarr oo)  (-e^(-rT)+1) = 1`