A curiosity

Detect whether an inverse system (A_n) is zero as a pro-object by
testing whether

\lim (A_n) = 0 and R^1\lim \bigoplus_i (A_n) = 0

Apply this to show that derived completion agrees with naive derived
completion for I = (f) if and only if the f-torsion is bounded.