combinatorics

Five inequalities, one Grok-assisted math note

A short math note reports five Grok-assisted discoveries, each later verified by the authors.