feat(analysis/special_functions/exp_log): tendsto real.log at_top at_top (#3826)
tendsto real.log at_top at_top