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