overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-dart.data'
%% generated by the `filecontents' environment
%% from source `slides01' on 2022/03/16.
%%
20 0.042
21 0.084
22 0.190
23 0.340
24 0.678
25 1.369
26 2.700
27 5.462
28 10.908
29 21.725
30 43.492