Little late, but to add on the lower(user), @Paul Maxwell gave a good S.O. link regarding this. And to add on top of that, Neon.com tutorial is listed in the PostgreSQL documentation as another source of documentation.

There, there is a section for PostgreSQL Index on Expression where it shows in a more "graphical" way the use of an index on lower(user) expression by EXPLAINing the queries