Weighted Solyanik Estimates for the Hardy–Littlewood Maximal Operator and Embedding of into