A generalization of an inequality in the elementary theory of numbers. (Q2579817)

In Verallgemeinerung eines Satzes von \textit{Rohrbach} (J. reine angew. Math. 177 (1937), 193-196; F. d. M. \(63_{\text{I}}\), 110) wird bewiesen: Für die natürlichen Zahlen \(m_j^{(\nu)}\), (\(j = 1,\dots, b\); \(\nu = 1,\dots, n\)) sei \(P_\nu = m_1^{(\nu)}m_2^{(\nu)}\cdots m_b^{(\nu)}\) (\(\nu = 1,\dots, n\)). Die Anzahl der Systeme \(\{r_1, \dots, r_b\}\), wo jedes \(r_j\) eine \(m_j^{1}m_j^{2}\cdots m_j^{n)}\) nicht übersteigende natürliche Zahl und für kein \(\nu\) jedes \(r_j\) durch \(m_j^{(\nu)}\) teilbar ist, beträgt dann mindestens \(\prod\limits_{\nu=1}^n P_\nu \left( 1 - \dfrac 1{P_\nu}\right)\). Sie ist dann und nur dann gleich dieser Zahl, wenn einer der beiden folgenden Fälle vorliegt: 1. Für jedes \(j\) und jedes Paar \(\mu\), \(\lambda\) mit \(\mu \not = \lambda\) ist \(m_j^{(\mu)}\) zu \(m_j^{(\lambda)}\) teilerfremd. 2. Für passendes \(\nu\) ist \(m_1^{(\nu)} = \cdots = m_b^{(\nu)}=1\). Der von Rohrbach behandelte Fall ist der Fall \(b=1\).