I would trade push in iOS Mail for the standard rules (https://support.apple.com/en-gb/guide/mail/mlhlp1017/mac) available in the desktop client since the past 20 years. Can't believe it is still not implemented.