Definition:Real P-Norm