*a*!

*b*!=

*c*! is trivial if we allow

*a*or

*b*to be 0 or 1.

However, adding that 1<*a*<*b*<*c*, also allows trivial solutions: which? What condition should be added to disallow such solutions?

Finally, adding that condition, can you find any solution to the problem?