Internal semigroups outnumber leaves at fixed Frobenius number

Prove that, for every integer Frobenius number F≥1, the number of internal numerical semigroups with Frobenius number F is greater than the number of leaf numerical semigroups with Frobenius number F.

Background

The authors enumerate internal and leaf numerical semigroups with fixed Frobenius number and use the resulting data to formulate a strict dominance conjecture.

References

$ins_{F}> lns_{F} \text{, for } F\geq 1.$

Internal numerical semigroups  (2608.19984 - Casas et al., 20 Aug 2026) in Section 5, Internal numerical semigroups with fixed Frobenius number