Why this new import?  Use S.Infinity, not the mpmath's inf.