9^x < x!