Trudinger inequality

  1. REDIRECT Trudinger's theorem {{R from merge}}