Free Heavy-Tailed Lunch for Muon: A Theoretical Justification of Empirical Success