Opraven důkaz odhadu faktoriálu