Sea la secuencia de Fibonacci dada por , para , donde y . Hay varias identidades interesantes que involucran esta secuencia, como , para todo . En 2012, Chaves, Marques y Togbé demostraron que si es una secuencia de recurrencia lineal (bajo suposiciones débiles) y , para infinitos enteros positivos , entonces está acotado por una constante computable de manera efectiva que depende solo de y los parámetros de . En este artículo, demostraremos que si es un polinomio homogéneo de grado -entero (bajo hipótesis débiles) y si para infinitos enteros positivos , entonces está acotado por una constante computable de manera efectiva que depende solo de , los parámetros de y los coeficientes de .