with t1 as(
    select user_id,sum(grade_num) grade_num
    from grade_info
    group by user_id
)
select id,name,grade_num
from t1 join user on t1.user_id = user.id
where grade_num = (
    select max(grade_num) from t1
)