On the mean value property of finely harmonic and finely hyperharmonic functions

Summary It is shown that a finely superharmonic function in a planar fine domainU is greater than or equal to its lower integral with respect to harmonic measure associated with any bounded finely open setV with fine closure contained inU. Examples are given showing that this result does not extend to dimension 3 or more (unlessf is supposed to be, e.g., lower bounded onV) and also that the integral need not exist.