## SEQUENCES WITH INEQUALITIES

## BERNHARD HEIM AND MARKUS NEUHAUSER

Abstract. We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt-Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers { p n ( ) } Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards p n ( ) p m ( ) &gt; p n ( + m ).

2020 Mathematics Subject Classification. Primary 05A20, 11P84; Secondary 05A17, 11B83. Key words and phrases. Inequalities, Partitions, Sequences.

## 1. Introduction

Newton ([HLP52], page 104) discovered that the coefficients { α n ( ) } d n =0 of polynomials with positive coefficients are log-concave if all the roots are real and therefore are unimodal:

$$( 1 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad \quad \quad$$

Nevertheless, non-real rooted polynomials as the chromatic polynomials related to the four-color conjecture have this propery [Hu12] and play an important role in algebraic geometry and Hodge theory to combinatorics [Ka22]. Infinite sequences seem to be not accessable by these methods, although, for example p n ( ) the number of partitions [On04] of n , have also turned out to be log-concave [Ni78, DP15] for all even positive n and all odd numbers n &gt; 25 proven by the circle method of Hardy-Ramanujan and an exact formula by Rademacher. It has been discovered that (1) is also related to the hyperbolicity of the Jensen polynomials associated with the reciprocal of the Dedekind eta function (the generating function of the p n ( )) of degree two, in the context of studying the Riemann hypothesis [GORZ19]. Recently, another property had been discovered by Bessenrodt and Ono [BO16], which is a mixture of additive and multiplicative behaviour:

$$\Phi _ { \Phi } ^ { ( n ) } \, p ( m ) & > p ( n + m ), \ n, m \geq 2 \text{ and } n + m > 9. \\ \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ { ( n ) } \, \Phi _ { \Phi } ^ {$$

This inequality appears at a first glance as a very special property. But, further sequences turned out to satisfy this Bessenrodt-Ono inequality and similiar inequalities appear as conditions for a white noise distribution theory [AKK00, AKK01]. Initiated by the work by Asai, Kubo, and Kuo there is evidence that under certain conditions log-concavity does imply the Bessenrodt-Ono inequality (BO-inequality), see Corollary 3.

Theorem A (Asai, Kubo, Kuo) . Let { α n ( ) } ∞ n =0 be a sequence of positive numbers normalized with α (0) = 1 . Then

{ α n ( ) 2 ≤ α n ( -1) α n ( +1) , n ≥ 1 } = ⇒ { α n α m ( ) ( ) ≤ α n ( + m , n, m ) ≥ 0 } . We also refer to ([GMU24], Theorem 4.4). Since many important sequences, as p n ( ), are not log-concave for all n , Benfield and Roy [BR24] came up with an interesting result, motivated by the sequence of partition numbers.

Theorem B (Benfield, Roy) . Let { α n ( ) } ∞ n =0 be a sequence of positive real numbers. Let a natural number N exist, such that for all n &gt; N the sequence is log-concave: α n ( ) 2 ≥ α n ( -1) α n ( +1) . Let there be a k ≥ 0 such that the single condition

$$( 2 ) & & ( \alpha ( N + k ) ) ^ { \frac { 1 } { N + k } } \geq ( \alpha ( N + k + 1 ) ) ^ { \frac { 1 } { N + k + 1 } }$$

be valid. Then α m ( + n ) ≤ α m α n ( ) ( ) for all m,n ≥ N + k .

Benfield and Roy applied their result to the sequence { p n ( ) } ∞ n =0 Since for N = 26 and k = 0 the condition (2) is fulfilled, they obtain from the log-concavity property that the BO-inequality holds for m,n &gt; 25.

Unfortunately, this does not cover the complete result by Bessenrodt-Ono. There are still infinitely many pairs ( m,n ) left to be checked. For example the BOinequality holds true for all pairs (2 , n ), where n &gt; 25.

In this paper, motivated by the result by Benfield and Roy, we give a new criterion, again, providing a sufficient condition (see Example 1), but strong enough to imply the complete result by Bessenrodt and Ono (see Corollary 2):

Theorem 1. Let a sequence { α n ( ) } ∞ n =0 with α n ( ) &gt; 0 be given. Suppose there is an n 0 ≥ 1 such for all n ≥ n 0 the sequence is log-concave, α n ( ) 2 ≥ α n ( -1) α n ( +1) , for all n ≥ n 0 and satisfies

$$\alpha ( n _ { 0 } ) ^ { 1 / n _ { 0 } } > \frac { \alpha ( n _ { 0 } ) } { \alpha ( n _ { 0 } - 1 ) }.$$

Let

$$\frac { \lambda ( n _ { 0 } ) } { n _ { 0 } - 1 ) }.$$

$$A & = \left \{ 1 \leq a \leq n _ { 0 } - 2 \ \colon \alpha ( a ) ^ { 1 / a } > \frac { \alpha ( n _ { 0 } ) } { \alpha ( n _ { 0 } - 1 ) } \right \} \\ \ r t h e r \ m, n & \geq 1 \ s a t i s f y$$

( m,n ≥ n 0 -1 ) ∨ ( m ∈ A, n ≥ n 0 -1 ) ∨ ( m ≥ n 0 -1 , n ∈ A . ) Then the Bessenrodt-Ono inequality α m α n ( ) ( ) &gt; α m ( + n ) is satisfied.

and let further m,n ≥ 1 satisfy

Let α n ( ) = p n ( ) and n 0 = 26. Then (3) is satisfied. Moreover, A = { a ∈ N 0 : 2 ≤ a &lt; 25 } . Therefore, only the finitely many pairs given by { ( m,n ) ∈ N 2 0 : 2 ≤ m,n &lt; 25 } remain to be checked.

Corollary 2. Let the sequence { p n ( ) } of partition numbers be given. Then the log-concavity result by Nicolas implies the BO-inequality result by Bessenrodt and Ono.

Essentially Theorem 1 is still true if we assume

$$& ( 4 ) & & \alpha ( n _ { 0 } ) ^ { 1 / n _ { 0 } } \geq \frac { \alpha ( n _ { 0 } ) } { \alpha ( n _ { 0 } - 1 ) } \\ & \text{and put}$$

and put

$$A = \left \{ 1 \leq a \leq n _ { 0 } - 2 \ \colon \, \alpha ( a ) ^ { 1 / a } \geq \frac { \alpha ( n _ { 0 } ) } { \alpha ( n _ { 0 } - 1 ) } \right \}.$$

If we suppose m,n ≥ 1 satisfy then

$$\left ( m, n \geq n _ { 0 } - 1 \right ) \vee \left ( m \in A, n \geq n _ { 0 } - 1 \right ) \vee \left ( m \geq n _ { 0 } - 1, n \in A \right ), \intertext { then }$$

$$\alpha ( m ) \, \alpha ( n ) \geq \alpha ( m + n ).$$

## 2. Proof of Theorem 1

For our purposes we quickly derive the following from the proof of Theorem A in [AKK00].

Corollary 3 (to the proof of Theorem A) . Let { α n ( ) } ∞ n =0 be a sequence of positive numbers with α (0) &gt; 1 . If { α n ( ) } ∞ n =0 is log-concave, then

$$\alpha \left ( n \right ) \alpha \left ( m \right ) > \alpha \left ( n + m \right ), \quad \forall n, m \geq 0.$$

Proof. Let α n ( ) be the elements of a sequence as in Theorem A. For such a sequence the authors of [AKK00] arrive for n ≥ 0 and m ≥ 1 in the first line on page 84 at the inequality α n α m ( ) ( ) ≤ α (0) α n ( + m ). If we now assume α (0) &lt; 1 (instead of α (0) = 1) this shows

$$\alpha \left ( n \right ) \alpha \left ( m \right ) < \alpha \left ( n + m \right ).$$

Now we consider a sequence consisting of α n ( ) with assumptions as stated in the corollary. Since our sequence is log-concave if we put β ( n ) = 1 /α n ( ) this sequence will be log-convex and we obtain from (7) by inversion α n α m ( ) ( ) &gt; α ( n + m ). /square

With this auxiliary result we can now finish the proof of Theorem 1.

Proof of Theorem 1. Firstly, let a, b ≥ n 0 -1. Then we define

Then β (0) = ( α n ( 0 -1) α n ( 0 ) ) n 0 α n ( 0 ) &gt; 1 by (3). The complete sequence consisting of the β ( n ) is now log-concave and we can apply the corollary of the result by Asai, Kubo, and Kuo [AKK00]. From Corollary 3 with β (0) &gt; 1 we obtain β ( a ) β ( b ) &gt; β ( a + ) b for all a, b ≥ 0. Since β ( n ) = α n ( ) for all n ≥ n 0 -1 the Bessenrodt-Ono inequality (6) is also fulfilled for all a, b ≥ n 0 -1.

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \beta \left ( n \right ) = & \begin{cases} \begin{array} { c c c c } \left ( \frac { \alpha ( n _ { 0 } - 1 ) } { \alpha ( n _ { 0 } ) } \right ) ^ { n _ { 0 } - n } \alpha \left ( n _ { 0 } \right ), & n < n _ { 0 }, \\ \alpha \left ( n \right ), & n \geq n _ { 0 }. \end{array} \end{cases} \\ \int _ { \alpha ( n _ { 0 } - 1 ) } \nwarrow ^ { n _ { 0 } } \int _ { \nu } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

We have ( α n ( )) 2 ≥ α n ( -1) α n ( +1) for n ≥ n 0 . Since all α n ( ) are positive we have

$$\frac { \alpha \left ( n \right ) } { \alpha \left ( n - 1 \right ) } \geq \frac { \alpha \left ( n + 1 \right ) } { \alpha \left ( n \right ) }.$$

Now we assume a ∈ A and b ≥ n 0 -1. Then

Therefore, by our assumption α a ( + ) b α b ( ) &lt; α a ( ) which implies α a ( + ) b &lt; α a α b ( ) ( ). /square

$$\frac { \alpha \left ( a + b \right ) } { \alpha \left ( b \right ) } & = \prod _ { k = b + 1 } ^ { a + b } \frac { \lambda } { \alpha \left ( k \right ) } \leq \left ( \frac { \alpha \left ( n _ { 0 } \right ) } { \alpha \left ( n _ { 0 } - 1 \right ) } \right ) ^ { a }. \\ \text{hw our environment on } \frac { \alpha \left ( a + b \right ) } { } < \alpha \left ( a \right ) \text{ which inline } \alpha \left ( a + b \right ) \cdot.$$

## 3. Applications and variants

The following first example shows that our conditions ( α n ( 0 )) 1 /n 0 &gt; α n ( 0 ) α n ( 0 -1) and ( α a ( )) 1 /a &gt; α n ( 0 ) α n ( 0 -1) is sufficient but not necessary.

Example 1 . Let n 0 = 4, α (0) and α (1) positive but arbitrary, α (2) = 7, α (3) = 5, α (4) = 15, and α n ( ) = 30 ( n -4)! for n ≥ 5. We have ( α (3)) 2 α (2) α (4) = 25 105 &lt; 1, ( α (4)) 2 α (3) α (5) = 225 150 &gt; 1, ( α (5)) 2 α (4) α (6) = 900 225 &gt; 1, and ( α n ( )) 2 α n ( -1) α n ( +1) = n -3 n -4 &gt; 1 for n ≥ 6. The sequence consisting of the α n ( ) is log-concave for n ≥ n 0 = 4. Furthermore, ( α (2)) 2 = 49 &gt; 15 = α (4), α (2) α (3) = 35 &gt; 30 = α (5), α (2) α (4) = 105 &gt; 15 = α (6), α (2) α b ( ) = 210 ( b -4)! &gt; 30 ( b -2)! = α (2 + b ) for b ≥ 5, ( α (3)) 2 = 25 &gt; 15 = α (6), α (3) α (4) = 75 &gt; 5 = α (7), α (3) α b ( ) = 150 ( b -4)! &gt; 30 ( b -1)! = α (3 + b ) for b ≥ 5, ( α (4)) 2 = 225 &gt; 5 4 = α (8), α (4) α b ( ) = 450 ( b -4)! &gt; 30 b ! = α (4 + b ) for b ≥ 5, and α a α b ( ) ( ) = 900 ( a -4)!( b -4)! &gt; 30 ( a + b -4)! = α a ( + ) for b a, b ≥ 5. But ( α n ( 0 )) 1 /n 0 = 15 1 4 / &lt; 3 = α n ( 0 ) α n ( 0 -1) and ( α (2)) 1 2 / = √ 7 &lt; 3 = α n ( 0 ) α n ( 0 -1) .

On the other hand we have the following in the opposite direction.

Proposition 4. Let α n ( ) be the positive elements of a sequence that is log-concave for all n ≥ 1 and which satisfies the Bessenrodt-Ono inequality (5)

$$\alpha \left ( n \right ) \alpha \left ( m \right ) & \geq \alpha \left ( n + m \right ) \\ \nu \, \ll 1 / n \, \left ( \alpha / n \right ) \, \quad \, \cdot \, \quad \, \cdot \, \quad \, \cdot$$

for all n, m ≥ 0 . Then ( α n ( )) 1 /n ≥ α n ( ) α n ( -1) for all n ≥ 1 .

$$& P r o o f. \ \text{We have } \alpha \left ( n \right ) = \alpha \left ( 0 \right ) \prod _ { k = 1 } ^ { n } \frac { \alpha ( k ) } { \alpha ( k - 1 ) } \geq \left ( \frac { \alpha ( n ) } { \alpha ( n - 1 ) } \right ) ^ { n } \text{ as } \frac { \alpha ( k ) } { \alpha ( k - 1 ) } \geq \frac { \alpha ( k + 1 ) } { \alpha ( k ) }. \quad \Box \\ & E x a m p l e \ 2. \ \text{Now we consider the plane partition numbers pp} \left ( n \right ). \ \text{By} \left [ \text{OPER22} \right ] \text{this} \quad. \quad. \quad.$$

Example 2 . Now we consider the plane partition numbers pp ( n ). By [OPR22] this sequence is log-concave for n ≥ n 0 = 12. We can check that (pp (12)) 1 12 / &gt; 1479 859 . We obtain { 1 ≤ a ≤ 10 : (pp ( a )) 1 /a &gt; pp(12) pp(11) } = { a ∈ N 0 : 2 ≤ a ≤ 10 } . Computationally checking the cases for 2 ≤ a, b ≤ 10 then yields our previous result with Tr¨ oger, see [HNT23].

Example 3 . Let ∑ ∞ n =0 ¯( p n q ) n = ∏ ∞ n =1 1 1+ q n -q n define the overpartitions. By the result of Engel [En17] it is strictly log-concave (¯( p n )) 2 &gt; p n ¯( -1) ¯( p n +1) for n ≥ 3. Nevertheless it is already log-concave (1) for all n ≥ 1. We use n 0 = 4. Then (¯( p n 0 )) 1 /n 0 &gt; 7 4 and A = { 1 ≤ a ≤ 2 : (¯( p a )) 1 /a &gt; ¯(4) p ¯(3) p } = { 1 2 , } . By our result we obtain that the BO-inequality (6) is fulfilled for all n ≥ 3 or m ≥ 3. By computationally checking the cases 1 ≤ n, m ≤ 2 we obtain the result of [LZ21]: the overpartitions fulfill the BO-inequality (6) for all n, m ≥ 1 except for ( n, m ) ∈ { (1 , 1) , (1 , 2) , (2 , 1) } where we have equality. Equality also holds when n = 0 or m = 0.

Example 4 . Let ∞ n =0 p k ( n q ) n = ∏ ∞ n =1 ( 1 -q kn ) ∏ ∞ n =1 (1 -q n ) define the k -regular partitions.

- ∑ (1) Let k = 2. By a result by Dong and Ji [DJ24] this is log-concave for n ≥ n 0 = 33. We obtain ( p 2 (33)) 1 33 / &gt; 224 195 and A = { 1 ≤ a ≤ 31 : ( p 2 ( a )) 1 /a &gt; p 2 (33) p 2 (32) } = { a ∈ N 0 : 3 ≤ a ≤ 31 } . By computationally checking the cases 3 ≤ n, m ≤ 31 we obtain the result by Beckwith and Bessenrodt [BB16] regarding the BO-inequality.
- (2) Now let k = 3. Then again by [DJ24] this is log-concave for n ≥ n 0 = 58. We obtain ( p 3 (58)) 1 58 / &gt; 525 463 and A = { 1 ≤ a ≤ 56 : ( p 3 ( a )) 1 /a &gt; p 3 (58) p 3 (57) } = { a ∈ N 0 : 2 ≤ a ≤ 56 } . Computationally checking the cases 2 ≤ n, m ≤ 56 we obtain the result by Beckwith and Bessenrodt [BB16] regarding the BOinequality.

## References

[AKK00] N. Asai, I. Kubo, H.-H. Kuo: Bell numbers, log-concavity, and log-convexity. Acta Appl. Math. 63 , No. 1-3, 79-87 (2000).

[AKK01] N. Asai, I. Kubo, H.-H. Kuo: Roles of log-concavity, log-convexity, and growth order in white noise analysis. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 4 , No. 1, 59-84 (2001).

[BB16] O. Beckwith, Ch. Bessenrodt: Multiplicative properties of the number of k -regular partitions. Ann. Comb. 20 , No. 2, 231-250 (2016).

[BR24] B. Benfield, A. Roy: Log-concavity and the multiplicative properties of restricted partition functions. arXiv:2404.03153v1 [math.NT]

[BO16] Ch. Bessenrodt, K. Ono: Maximal multiplicative properties of partitions. Ann. Comb. 20 , No. 1, 59-64 (2016).

[Br15] P. Br¨nd´ en: a Unimodality, log-concavity, real-rootness and beyond. In: B´ ona, Mikl´s o (ed.), Handbook of Enumerative Combinatorics, Boca Raton, FL: CRC Press. Discrete Mathematics and its Applications, 437-483 (2015).

[DP15] S. DeSalvo, I. Pak: Log-concavity of the partition function. Ramanujan J. 38 , 61-73 (2015).

| [DJ24]                                                                                                                                 | J. J. W. Dong, K. Q. Ji: Higher order Tur´n a inequalities for the distinct partition function. J. Number Theory 260 , 71-102 (2024).                                                                                                                   |
|----------------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [En17]                                                                                                                                 | B. Engel: Log-concavity of the overpartition function. Ramanujan J. 43 , No. 2, 229- 241 (2017).                                                                                                                                                        |
| [GMU24]                                                                                                                                | K. Gajdzica, P. Miska, M. Ulas: On a general approach to Bessenrodt- Ono type inequalities and log-concavity properties. Ann. Comb. (2024). https://doi.org/10.1007/s00026-024-00700-7                                                                  |
| [GORZ19]                                                                                                                               | M. Griffin, K. Ono, L. Rolen, D. Zagier: Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA 116 , No. 23, 11103-11110 (2019).                                                                             |
| [HLP52]                                                                                                                                | G. H. Hardy, J. E. Littlewood, G. P´lya: o Inequalities. London. Cambridge University Press (1952).                                                                                                                                                     |
| [HNT23]                                                                                                                                | B. Heim, M. Neuhauser, R. Tr¨ger: o Inequalities for plane partitions. Ann. Comb. 27 , No. 1, 87-108 (2023).                                                                                                                                            |
| [Hu12]                                                                                                                                 | J. Huh: Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs. J. Am. Math. Soc. 25 , No. 3, 907-927 (2012).                                                                                                                |
| [Ka22]                                                                                                                                 | G. Kalai: The work of June Huh. In: Beliaev, Dmitry (ed.) et al., International Con- gress of Mathematicians, ICM 2022, Helsinki, Finland, virtual, July 6-14, 2022, Vol. 1. Prize lectures. Berlin: European Mathematical Society (EMS), 50-65 (2023). |
| [LZ21]                                                                                                                                 | E. Y. S. Liu, H. W. J. Zhang: Inequalities for the overpartition function. Ramanujan J. 54 , No. 3, 485-509 (2021).                                                                                                                                     |
| [Ni78]                                                                                                                                 | J.-L. Nicolas: Sur les entiers N pour lesquels il y a beaucoup des groupes ab´liens e d'ordre N . Ann. Inst. Fourier 28 , No. 4, 1-16 (1978).                                                                                                           |
| [OR85]                                                                                                                                 | A. M. Odlyzko, L. B. Richmond: On the unimodality of high convolutions of discrete distributions. Ann. Probab. 13 , No. 1, 299-306 (1985).                                                                                                              |
| [On04]                                                                                                                                 | K. Ono: The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series. CBMS Regional Conference Series in Mathematics 102 , American Math- ematical Society, Providence, RI (2004).                                               |
| [OPR22]                                                                                                                                | K. Ono, S. Pujahari, L. Rolen: Tur´n a inequalities for the plane partition function. Adv. Math. 409 , Part B, Article ID 108692, 31 p. (2022).                                                                                                         |
| [Zh22]                                                                                                                                 | S. Zhang: Log-concavity in powers of infinite series close to (1 - z ) - 1 . Res. Number Theory 8 , Article No. 66 (2022).                                                                                                                              |
| Department of Mathematics and Computer Science, Division of Mathematics, University of Cologne, Weyertal 86-90, 50931 Cologne, Germany | Department of Mathematics and Computer Science, Division of Mathematics, University of Cologne, Weyertal 86-90, 50931 Cologne, Germany                                                                                                                  |
| Lehrstuhl A f¨r u Mathematik, RWTH Aachen University, 52056 Aachen, Germany Email address : bheim@uni-koeln.de                         | Lehrstuhl A f¨r u Mathematik, RWTH Aachen University, 52056 Aachen, Germany Email address : bheim@uni-koeln.de                                                                                                                                          |
| Kutaisi International University, 5/7, Youth Avenue, Kutaisi, 4600 Georgia                                                             | Kutaisi International University, 5/7, Youth Avenue, Kutaisi, 4600 Georgia                                                                                                                                                                              |
| Lehrstuhl A f¨r u Mathematik, RWTH Aachen University, 52056 Aachen, Germany Email address : markus.neuhauser@kiu.edu.ge                | Lehrstuhl A f¨r u Mathematik, RWTH Aachen University, 52056 Aachen, Germany Email address : markus.neuhauser@kiu.edu.ge                                                                                                                                 |
Bernhard Heim und Markus Neuhauser
Sequences with Inequalities
We consider infinite sequences of positive numbers. The connection between
log-concavity and the Bessenrodt--Ono inequality had been in the focus of
several papers. This has applications in the white noise distribution theory
and combinatorics. We improve a recent result of Benfield and Roy and show that
for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result
implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$.