Von Neumann's inequality