Proper envelope for the power3 function