解析関数の素数分布への応用