closed form for g_{2,1}: OK
closed form for g_{2,3}: OK
closed form for g_{3,2}: OK
closed form for g_{3,4}: OK
closed form for g_{4,3}: OK
hardest polynomial (index 658120) == P_{g_{3,4}}: True
P_{g_{3,4}}/M at q_4 = 0.999851846
ALL OK
