{"raw_statement":[{"iden":"problem statement","content":"Given is a positive integer $N$. Find the value $\\displaystyle\\sum_{i=1}^N \\left[ \\frac{N}{i} \\right]$.\nHere, for a real number $x$, $[x]$ denotes the largest integer not exceeding $x$."},{"iden":"constraints","content":"*   $1 \\leq N \\leq 10^{12}$\n*   $N$ is an integer."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N$"},{"iden":"sample input 1","content":"3"},{"iden":"sample output 1","content":"5\n\nWe have $\\left[ \\frac{3}{1} \\right]+\\left[ \\frac{3}{2} \\right]+\\left[ \\frac{3}{3} \\right]=3+1+1=5$."},{"iden":"sample input 2","content":"10000000000"},{"iden":"sample output 2","content":"231802823220\n\nNote that the input and output may not fit into a $32$\\-bit integer type."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}