Strict inequalities for products of filters
A weaker conjecture:
See Algebraic General Topology for definitions of used concepts.
The first conjecture probably has no use by itself but proving it may be somehow challenging, just like Fermat Last Theorem.
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.