Title: Envelopes and Sharp Embeddings of Function Spaces