Bounding \(K\le 3\log B\)

Zero value to Abs division

• Zero value
• Zero contrapositive
• Not zero
• Disk bound
• Zero excluded
• Nonzero rho
• Mod positive
• Rho positive
• Disk bound
• Inverse mono
• Inverse bound
• Mult inequality
• Ratio bound
• Mod product
• B modulus
• Abs power
• Power mod
• B modulus
• B at zero
• Abs division

Abs neg to Combine bounds

• Abs neg
• Abs ratio
• B zero form
• Abs positive
• B zero form
• Prod inequality
• Power bound
• Power one
• Product power
• Product one
• Power bound
• Modulus bound
• B analytic
• Boundary mod
• Boundary bound
• Max modulus
• Disk bound
• Disk bound
• Zero bound
• Combine bounds

Jensen form to Zeros bound

• Jensen form
• Log monotone
• Jensen log
• Three exceeds e
• Multiplicity bound
• Sum inequality
• Multiplicity one
• Ones bound
• Count identity
• Zeros bound

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.