パイプを切り出そう Bash(Beta)編（paizaランク A 相当）

問題にチャレンジして、ユーザー同士で解答を教え合ったり、コードを公開してみよう！

問題

n 本のパイプがあり、長さはそれぞれ A_1, A_2, ..., A_n です。今、n 本のパイプから k 本の同じ長さのパイプを切り出すことを考えます。パイプを切って分割することはできますが、つなげることはできません。

パイプの切り方を工夫した結果、切り出すことができるパイプの長さの最大値を答えてください。

答えは整数になるとは限りません。相対誤差または絶対誤差が 10^-6 (0.000001) 以下であれば正解とみなされます。

入力される値

n k
A_1 A_2 ... A_n

入力値最終行の末尾に改行が１つ入ります。
文字列は標準入力から渡されます。標準入力からの値取得方法はこちらをご確認ください

期待する出力

n 本のパイプから k 本のパイプを適切に切り出した結果、切り出すことができるパイプの長さの最大値を出力してください。相対誤差または絶対誤差が 10^-6 (0.000001) 以下であれば正解とみなされます。

また、末尾に改行を入れ、余計な文字、空行を含んではいけません。

条件

すべてのテストケースにおいて、以下の条件をみたします。

・入力はすべて整数

・ 1 ≦ n ≦ 200,000

・ 1 ≦ k ≦ 500,000

・ 1 ≦ A_i ≦ 10,000 (1 ≦ i ≦ n)