A25318.打卡-达人榜

小鱼最近下了一个打卡软件，可以添加一个事项（如每日阅读），每日可以进行一次打卡，在连续打卡的第一天可以获得 $1$ 的经验值，第二天可以获得 $2$ 的经验值，第三天可以获得 $3$ 的经验值 ...... 第 $N$ 天可以获得 $N$ 的经验值。如果其中某天没有打卡，那么之前积攒的经验值就清空了。
在获得 $K$ 的经验值后，就能上到达人榜，小鱼最少连续打卡多少天后能上榜呢？

在一行中输入一个整数 $K (1 \leq K \leq 1000)$，表示上榜所需的经验值。

在一行中输出一个整数，表示最少连续打卡多少天后能够上榜。