数論における数論的関数:素数個数問題など