title: sys.stdin.readline() and input(): which one is faster when reading lines of input, and why?
body: <p>I'm trying to decide which one to use when I need to acquire lines of input from STDIN, so I wonder how I need to choose them in different situations.</p>
  
  <p>I found a previous post (<a href="https://codereview.stackexchange.com/questions/23981/how-to-optimize-this-simple-python-program">https://codereview.stackexchange.com/questions/23981/how-to-optimize-this-simple-python-program</a>) saying that:</p>
  
  <blockquote>
    <p>How can I optimize this code in terms of time and memory used? Note that I'm using different function to read the input, as sys.stdin.readline() is the fastest one when reading strings and input() when reading integers.</p>
  </blockquote>
  
  <p>Is that statement true ?</p>