Hi Kunhao, This sounds like a good plan! I believe you could directly plug your W function as the T function of Jensen’s inequality, and follow the same proof scheme. Good luck! BR, _ Thierry
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/863D6391-24CA-43CC-9FFF-98C6CBBAF446%40gmx.net.
