For its variant David S. Cohen (David X. Cohen) and Manuel Blum proved in 1995, that 3 n / 2 ≤ P n ′ ≤ 2 n − 2 {\displaystyle 3n/2\leq P'_{n}\leq 2n-2} (when the upper limit is only true if n > 9 {\displaystyle n>9} ).
Erre a változatra David S. Cohen (David X. Cohen) és Manuel Blum 1995-ben a következő állítást igazolták: 3 n / 2 ≤ P n ′ ≤ 2 n − 2 {\displaystyle 3n/2\leq P'_{n}\leq 2n-2} (ahol a felső korlát csak n > 9 {\displaystyle n>9} -től válik igazzá).