MathDB
Exponential and Factorial Diophantine Equation

Source: 2021 Miklos Schweitzer, P2

November 2, 2021
factorialDiophantine equationnumber theory

Problem Statement

Prove that the equation 2x+5y31z=n! 2^x + 5^y - 31^z = n! has only a finite number of non-negative integer solutions x,y,z,nx,y,z,n.