AT_awc0003_a 商品の品質評価

Takahashi is in charge of quality control at a factory. This factory manufactures $ N $ types of products, each numbered from $ 1 $ to $ N $ . Each product has two metrics: a "quality index" and a "production quantity." The quality index of product $ i $ is $ A_i $ , and its daily production quantity is $ B_i $ units. A higher quality index indicates that defective items are more likely to occur. Takahashi decided to calculate a "risk score" for each product. The risk score of product $ i $ is defined as the product of the quality index $ A_i $ and the production quantity $ B_i $ , namely $ A_i \times B_i $ . A higher risk score means that more attention is required for that product. Takahashi believes that products with a risk score of $ K $ or higher need to be prioritized for improvement. Find the number of products whose risk score is $ K $ or higher.

> $ N $ $ K $ $ A_1 $ $ B_1 $ $ A_2 $ $ B_2 $ $ \vdots $ $ A_N $ $ B_N $ - The first line contains an integer $ N $ representing the number of product types and an integer $ K $ representing the risk score threshold, separated by a space. - From the 2nd line to the $ (N+1) $ -th line, information about each product is given. - The $ (i+1) $ -th line $ (1 \leq i \leq N) $ contains the quality index $ A_i $ and the production quantity $ B_i $ of product $ i $ , separated by a space.

Output the number of products whose risk score is $ K $ or higher, in a single line.

### Constraints - $ 1 \leq N \leq 2 \times 10^5 $ - $ 1 \leq K \leq 10^{18} $ - $ 1 \leq A_i \leq 100 $ $ (1 \leq i \leq N) $ - $ 1 \leq B_i \leq 10^9 $ $ (1 \leq i \leq N) $ - All inputs are integers.