ByNobleID
    The sup metric on infinite products | NobleID