这个推论是正确的吗

angel_phoenix99

π(n)=i+1(不超过n的奇质数个数为i)

｛aj｝为不超过n的奇质数集合1≤j≤i(a0=2，唯一的偶质数)

求证:
当n≥16时
i*(∏(1-1/(aj-1)))>1(1≤j≤i)


我简单验算是成立的，不过就算证明出来，也无法拿这种概率意义的结论来推论别的结果