User blog:MachineGunSuper/My axiom about the biggest number