overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-java.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
5 0.00298
10 0.00418
15 0.00996
16 0.01710
17 0.03492
18 0.03303
19 0.05084
20 0.10177
21 0.19960
22 0.41159
23 0.82234
24 1.70251
25 3.36112
26 6.63998
27 13.35120
28 29.81185