Lizardman's constant