Does anyone know what the asymptotic of the differences between successive zeta zeros is?
Update
It appears that $\zeta(n)$ is not a bad asymptotic, when the data range is stretched:
r = 3000; Show[ListPlot[(Differences[Table[Im[N[ZetaZero[n]]],{n, 1, r}]]),
m = 100; ListLinePlot[Table[Zeta[n], {n, 0, Log[r], 0.01}],
DataRange -> {-r/\[Pi], r}, PlotStyle -> Red]]
(as is $\pi/\log\log\gamma_n$ following on from the link suggested by barto). I don't know how to write this mathematically though.