fork download
  1. def getTriNum(n):
  2. k=1
  3. while(True):
  4. t=k*(k+1)//2
  5. if (t>=n):
  6. return t
  7. k+=1
  8.  
  9. n=int(input())
  10. print(getTriNum(n))
  11.  
Success #stdin #stdout 0.01s 27624KB
stdin
9

stdout
10