Problem

Source: Baltic Way 2017

Tags: number theory, factorial, equation



Determine whether the equation $$x^4+y^3=z!+7$$has an infinite number of solutions in positive integers.