Definition. For an integer n≥2, let gpf(n) denote the greatest prime factor of n.
Conjecture (Papava). n<gpf(n⁹-1).