overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-swift.data'
%% generated by the `filecontents' environment
%% from source `slides01' on 2022/03/16.
%%
5 0.001
10 0.001
15 0.009
20 0.178
23 1.399
24 2.893
25 5.671
26 11.357
27 22.430