(1)左辺が定義されない
(2)x>0で(x^n)/(1+x)<x^nとなるからほとんど自明