User:Dfeuer/Product of Positive Element and Element Greater than One