求证16小于号(Σ(上标k=1,下标80)1/根号k)大于号17