Define a function to measure the complexity of a conjectured closed form in an entropy-like way through the logarithm of the size of involved integers. Mathematical functions count exponentially:

Visualize the relationship between complexity and conjectured values. Conjectured values that are closer to the experimental value are typically more complex, and no closed form is known that is simultaneously precise and short. Examining the relationship suggests the two satisfy an inequality of the form