Talk:Spitzer's formula