A Tree's a Tree

In a recent blog post, Andreas asked the question if the harmonic series of prime numbers converges. In a later blog post he sketched a proof. Do mathematicians ever move beyond the sketch stage with their proofs?

Andreas could have saved a lot of time by just typing in the following code into Mathematica. It uses the Prime function which gives the nth prime:

Case closed.

In that vein, all series problems can be answered with a quote by Ronald Reagan: “A tree’s a tree. How many more do you need to look at?”