feat(analysis/special_functions/pow): rpow-log inequalities (#7848)
feat(analysis/special_functions/pow): rpow-log inequalities (#7848)

Inequalities relating rpow and log





leanprover-community/mathlib,leanprover-community/mathlib