Aquí está una línea de ataque que te deja con la tarea de comprobar sólo un número finito de casos.
La idea es comprobar la divisibilidad por potencias de dos. Yo uso la notación $\nu(m)$ para denotar
el exponente de la potencia más alto de los dos que se divide un entero positivo $m$, así por ejemplo,$\nu(80)=\nu(16\cdot5)=4$, debido a $2^4=16$.
Usted probablemente ha visto (o puede probar como ejercicio) que
$$
\nu(m!)=\sum_{i=1}^{\lceil \log_2m\rceil} \lfloor\frac m {2^i}\rfloor.\qquad(*)
$$
También se $\nu(mn)=\nu(m)+\nu(n)$, y, en consecuencia,$\nu(m^n)=n\nu(m)$. Además, si $\nu(a)\neq\nu(b)$$\nu(a+b)=\min\{\nu(a),\nu(b)\}$. Esta última propiedad se conoce como no-Arquímedes triángulo de la desigualdad. Vamos a llamar a NATI, para abreviar.
Aquí podemos ver que $\nu(2014^{2015})=2015\cdot\nu(2014)=2015$ porque $2014$ es aún, pero no divisibile por cuatro.
Primero, vamos a considerar la posibilidad de que $a$ es impar. Entonces así es $a^{2014}$, lo $2015\cdot b!$ debe ser impar. Esto sólo es posible, si $b!$ es impar, por lo que debemos tener $b=0$
o $b=1$ porque de lo contrario $b!$ es incluso. Comprobar, si hay coincidencia de $a$.
Entonces vamos a centrar nuestra atención en la posibilidad de que $a$ es incluso. Primero presuponemos que $a$ no es divisible por cuatro, o, equivalentemente, que el $\nu(a)=1$. En ese caso $\nu(a^{2014})=2014$. Debido a $\nu(2014^{2015})=2015$, NATI restringe la elección de $b$ a los números que han $2014=\nu(2015\cdot b!)=\nu(b!)$. Fórmula $(*)$ viene muy bien. Te doy el bit extra $\nu(2022!)=2014$. Hay muy pocas posibilidades de $b$, debido a $\nu(b!)$ es un (no estrictamente) creciente en función de $b$.
Por último, si $\nu(a)>1$,$\nu(a^{2014})\ge2\cdot2014$, que es mayor que $2015$. En estos casos NATI fuerzas de $\nu(b!)=2015$. De nuevo, esto limita severamente las posibilidades de $b$.