This conjecture states that for O= (summation infinity n=1 f (n) ) where f (n) grows faster than for any value of finite positive integer value of k and n kⁿ. Almost all possible growth type that O can be will most likely lead to irrational numbers. the first page tells nᵏ for k=2
Ramanan SP (Wed,) studied this question.