overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-python2.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
1 5
5 13
10 30
15 39
20 1000
21 4000
22 8000