>>792
N∋n:固定
f: R+∋y ├─> y^n ∈R+ が全単射