ぷん ほうであれば
ni pun hōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 二分法

1. if binary search; if using bisection

Ba Conditional