题目描述

津津、菲菲、皮皮在研究秦皇岛历史时，发现了一个有趣的现象：随着历史的推进，秦皇岛的重要性逐年增强，可以用一系列逐年增加的分数来表示，即 $1, \frac{1}{2}, \frac{1}{3}, \dots, \frac{1}{n}$。

现在要找出一个最小的年份 $n$，使得从秦皇岛建立到这一年为止，这些分数之和（即 $S_n = 1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}$）能够超过一个给定的历史时期 $k$。这个 $k$ 代表了秦皇岛古城在某个历史节点上的重要时期。

给定一个整数 $k$，编写一个程序找出满足条件的最小年份 $n$。

输入格式

一个整数 $k$。

输出格式

一个整数 $n$。

样例

输入

1

输出

2

数据范围与提示

无