A non-commutative Julia inequality

We prove a Julia inequality for bounded non-commutative functions on polynomial polyhedra. We use this to deduce a Julia inequality for holomorphicfunctions on classical domains in C-d . We look at differentiability at a boundary point for functions that have a certain regularity there.