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

What function?