Considering Wilfred's concern about his first assumption, it is quite correct to relate density's decreasing with height to an increase in stall TAS. Recall, though, that EAS relates to SL density to remove the height variation in density from the calculations .. ie
local rho TAS squared= SL rho EAS squared