けんき says to YSITD
輸入： x∈R f x >0
at Sun, Sep 10, 2017 1:37 PM