User blog comment:MachineGunSuper/My axiom about the biggest number/@comment-30754445-20171130162737/@comment-80.98.179.160-20171218203234

True, but it can be >g1, but no matter what, it's <g2.