P
Initializing...
Fact 2.1 — generalized triangle inequality for power-$z$ distances · Prove2Me