Ladyzhenskaya's_inequality loading ...