任意の実数 x について、q[n] ∈ Q, lim q[n] = x となる有理数列を作ってやれば（xの連分数展開など）、
lim f(q[n]) = lim q[n]a = xa。

f(xy) = f(x)f(y) なら、a = f(h/h) = f((x+h-x))/h) = (f(x+h)-f(x)) f(1/h)
　= ((f(x+h)-f(x))(1/h)a → f´(x) a (h→a)。都合、f´(x) = 1 で、積分して f(x) = x + C.
f(0) = 0 より f(x) = x。