english: We assume a maximal throwing range and a maximal lay-down time, hence there exist \(y_{\mathrm{max}}> 0\) and \(t_{\mathrm{max}}>t_{\mathrm{min}}> 0\) such that
non_english: うぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅうぐぅぅうぐぅうぐぅぐ～ぐ～ぐ～。。。。