On members of Lucas sequences which are products of factorials

Abstract

Here, we show that if {U n } n≥0 is a Lucas sequence, then the largestWe also give better bounds in case the roots of the Lucas sequence are real.