Jacking dead or rotten trees is less then wise.
Too many factors that could go wrong, brittle hold wood, punky jack support, potential to chair, bits breaking off from up high and playing wack a mole with your head.
Jacking can be a benefit in that its less jarring then wedging, but the other factors make it harder on dead wood
In short, hire a pro, especially if you've never jacked a tree before.
But since we all know some folks is stubborn and wanna save a penny...
Get a minimum of a 20 ton jack (I use 25 t jacks and have bent the handles on em) back them up with wedges, cut the pocket square with the back cut so the jack starts life level, put a plate of thick aluminium or heavy steel over the ram (3/4 aluminium or 3/8 steel minimums), seat the jack so its supported on good wood, and leave room for at least 2 rows of wedges (you will need to stack em).
whether or not you do you're back cut first, largely depends on how sever the lean is, but I suggest doing so, then putting firm pressure on the jack and set the wedges firmly, before carefully creating the face, leave a little extra meat on the hold wood, you can always nibble it away once you start jacking.
If you can set a bobber or indicator (axe or wedge lightly stuck in back cut so its free to hang) before you start the face cuts, if tree is going backwards bobber will stand up, if going the correct direction, it will sag... honestly this is a pretty good habit to get into regardless.
Since its a dead tree, keep looking up, at all times, even slight vibration from the saw can cause breakage up high, so have your escape paths well beaten down and ready before you make the first cuts.
anyway, that there is a big tree, and potential for a world of hurt, so if you do it yourself, be very careful.