sup
,

, интегрируем по шару (по

) ?
Хорошее доказательство!
А я из неравенства Иенсена исходил, там дифференцируемость не нужна, только выпуклость и возрастание по каждому аргументу. Хотя Ваше доказательство тоже можно подправить, используя вместо касательной опорную плоскость.
Кстати, если

-- гармонические, а

-- выпуклая (без дополнительных условий), то

-- субгармоническая.