Source: https://ens-lyon.hal.science/ensl-00119810/file/CertifiedInfiniteNorm.pdf