天井 てんじょう関数 かんすうであれば
tenjōkansūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 天井関数

1. if the ceiling function; when the ceiling function

Ba Conditional
Mathematics