The Diophantine equation $P(x)=\overset{r}{\underset{i=1}{\prod}}H_{n_i}$

Naciri proved that for any integer $k\geq2$, the Brocard--Ramanujan equation $n!+1=x^2$ has only finitely many integer solutions, assuming $x\pm1$ is a $k$-free integer or a prime power. In the present paper we prove similar statements for equations of the form $P(x)=\prod_{i=1}^rH_{n_i}$, where $P(x)$ is a polynomial and $H_{n_i}$ are divisible sequences.