>>67
杉浦の解析入門Iがおすすめ。
三角関数、指数関数、対数関数を無限級数で定義し、
諸性質を証明している。