Problem

Source: Azerbaijan third round 2020(JBMO Shortlist 2019 N6)

Tags: Diophantine equation, number theory



$a,b,c$ are non-negative integers. Solve: $a!+5^b=7^c$ Proposed by Serbia