Funkcjonał półtoraliniowy