The maximum principle and biharmonic functions