import math

n = int(input())

if n == 2:
    print("INF")
else:
    target = n - 1
    sqrt_val = math.isqrt(8 * target)
    m = (1 + sqrt_val) // 2
    while m * (m - 1) // 2 < target:
        m += 1
    print(m)