input: def rewrite_with_comprehension(n: int) -> List[int]:
      """ Given a range from 1 to n, return a list of even numbers within that range using list comprehension.
      >>> rewrite_with_comprehension(21)
      [2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
      """
output:     return [i for i in range(1, n + 1) if i % 2 == 0]